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.
| Originalsprache | Englisch |
|---|---|
| Titel | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications |
| Redakteure/-innen | Tiziana Margaria, Bernhard Steffen |
| Seitenumfang | 4 |
| Band | LNCS 8803 |
| Erscheinungsort | Berlin |
| Herausgeber (Verlag) | Springer Verlag |
| Erscheinungsdatum | 01.10.2014 |
| Seiten | 387-390 |
| ISBN (Print) | 978-3-662-45230-1 |
| ISBN (elektronisch) | 978-3-662-45231-8 |
| DOIs | |
| Publikationsstatus | Veröffentlicht - 01.10.2014 |
| Veranstaltung | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Corfu, Griechenland Dauer: 08.10.2014 → 11.10.2014 Konferenznummer: 110119 |
UN SDGs
Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung
-
SDG 9 – Industrie, Innovation und Infrastruktur
Fingerprint
Untersuchen Sie die Forschungsthemen von „Challenges for the Dynamic Interconnection of Medical Devices“. Zusammen bilden sie einen einzigartigen Fingerprint.Zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver