Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Challenges for the Dynamic Interconnection of Medical Devices

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.

OriginalspracheEnglisch
TitelLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Redakteure/-innenTiziana Margaria, Bernhard Steffen
Seitenumfang4
BandLNCS 8803
ErscheinungsortBerlin
Herausgeber (Verlag)Springer Verlag
Erscheinungsdatum01.10.2014
Seiten387-390
ISBN (Print)978-3-662-45230-1
ISBN (elektronisch)978-3-662-45231-8
DOIs
PublikationsstatusVeröffentlicht - 01.10.2014
Veranstaltung6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
- Corfu, Griechenland
Dauer: 08.10.201411.10.2014
Konferenznummer: 110119

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

  1. SDG 9 – Industrie, Innovation und Infrastruktur
    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