Abstract
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 language | English |
---|---|
Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications |
Editors | Tiziana Margaria, Bernhard Steffen |
Number of pages | 4 |
Volume | LNCS 8803 |
Place of Publication | Berlin |
Publisher | Springer Verlag |
Publication date | 01.10.2014 |
Pages | 387-390 |
ISBN (Print) | 978-3-662-45230-1 |
ISBN (Electronic) | 978-3-662-45231-8 |
DOIs | |
Publication status | Published - 01.10.2014 |
Event | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Corfu, Greece Duration: 08.10.2014 → 11.10.2014 Conference number: 110119 |