undertaken in [@sac2017] and the benefits of this acceleration in medical systems for remote patient monitoring has been exemplified in [@uc3mupv] for eHealth services and in [@ades] for audio surveillance.

It is important to bare in mind that designing medical systems requires detailed design and validation of properties as they are critical systems. There are different design and development frameworks for critical systems that have to be applied considering not only the functional properties of the application-level logic, but also the non-functional properties of the whole software stack. Some frameworks exist like [@infsof; @c44] that support web-based monitoring of critical software projects like the development of medical systems, including their set of libraries like the distribution middleware.

Key definition of *Medical Devices*
===================================

According to the WHO (World Health Organization) definition of “medical device” [@WHODEVICE], there are a number of possible hardware systems containing software and hardware parts that sample patient data through reading of vital signs, use networking protocols to exchange data or share it, and have different posibilities on mobility.

The development of medical devices undergoes strict regulations that are established by the FDA (Food and Drug Administration) [@FDA]. The role of FDA has faced criticism on its 