openSDC

The openSDC libraries are communication library that facilitate the development of distributed systems of medical devices in high-acuity environments.

OpenSDC has been developed in an Dräger-internal technology project called “Device & System Connectivity” that had the goal to meet increasing demand for medical device interoperability in an Integrated Clinical Environment (ICE). An ICE is a distributed system of medical devices for one clinical workplace that may have an external interface to other systems. ASTM F2761-1:2009 describes the components that are required for safe and effective “Plug & Play” operation of an ICE in high-acuity environments.

The project had the objective to develop an efficient, future-proof architecture, protocol stack, and middleware that satisfies the derived requirements and facilitates the implementation of the concept of an ICE.

The openSDC libraries are not intended to be used in clinical trials, clinical studies or in clinical routine.

Whitepaper

• Whitepaper „Risikoanalyse dynamisch vernetzter Medizingeräte“, Mai 2014
• Whitepaper „Geräte- und Serviceprofile dynamisch vernetzter Systeme“, Dezember 2014; Update April 2015
• Whitepaper „Erweiterung des Lebenszyklus von Medizingeräten um offene Vernetzungsfähigkeit“, April 2016

Veröffentlichungen des ISP

The research and publication of the following papers were partly or completely done in the scope of OR.NET:

• Kühn, Franziska, and Leucker Martin OR.NET: Safe Interconnection of Medical Devices - (Position Paper). FHIES 2013. Lecture Notes in Computer Science 8315, pp. 188-198 2013.
• Leucker, Martin Challenges for the Dynamic Interconnection of Medical Devices. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II}. Lecture Notes in Computer Science 8803 2014.
• Decker, Normann, Kühn Franziska, and Thoma Daniel Runtime Verification of Web Services for Interconnected Medical Devices. 25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014. 2014.
• Scheffel, Torben, and Schmitz Malte Three-Valued Asynchronous Distributed Runtime Verification. International Conference on Formal Methods and Models for System Design (MEMOCODE). 12 2014.
• Kühn, Franziska, Leucker Martin, and Mildner Alexander OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. MCPS. OASICS 36 2014.
• Decker, Normann, Leucker Martin, and Thoma Daniel Monitoring Modulo Theories. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. LNCS 8413 2014.
• Leucker, Martin, and Schmitz Malte Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015.. CEUR-WS 1337 2015.
• Busshaus, Timm, Fischer Stefan, Kühn Franziska, Leucker Martin, Mildner Alexander, and Schmitz Malte Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente – Technologietransfer im CMSSE. Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. LNI 239 2015.