Challenges for the Dynamic Interconnection of Medical Devices


Medical devices, especiallywhen operated in the surgery room, are safety critical systems, as the patient’s life may depend on them. As such, there are high legal requirements to meet by the manufacturers of such devices. One of the typical requirements is that whenevermedical devices are interconnected, the whole setup has to be approved by the corresponding legal body. For economical reasons, however, it is desirable to interconnect devices from different manufacturers in an individual fashion for each surgery room. Then however no integration test has been carried out a priori and thus the whole setup could not have been approved. In other words such economical demands impose challenges both on the technical as well as the legal situation. In this contribution, we report on these challenges as well as on first ideas to address them.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
EditorsTiziana Margaria, Bernhard Steffen
Number of pages4
VolumeLNCS 8803
Place of PublicationBerlin
PublisherSpringer Verlag
Publication date01.10.2014
ISBN (Print)978-3-662-45230-1
ISBN (Electronic)978-3-662-45231-8
Publication statusPublished - 01.10.2014
Event6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
- Corfu, Greece
Duration: 08.10.201411.10.2014
Conference number: 110119


Dive into the research topics of 'Challenges for the Dynamic Interconnection of Medical Devices'. Together they form a unique fingerprint.

Cite this