Monitoring as a Service for Networked Medical Cyber-Physical Systems

Franziska Kühn, Daniel Thoma, Dennis Labitzke, Stefan Fischer


This paper presents monitoring as a service for networked medical cyber-physical systems in the operating room based on the recent IEEE 11073 standards for interoperable medical device communication. Runtime Verification techniques are used to allow for a formal specification and verification. Based on the specification so called monitors are automatically synthesized. At runtime, the monitors observe the communication of the interconnected systems and examine whether they adhere to the specification. This facilitates the handling of the high safety requirements of medical cyber-physical systems and to increase their reliability. In addition, we outline the development and deployment process of the monitors and depict how the framework can be extended to react when misbehavior is detected. As a case study the interconnection of an ultrasound dissector and a microscope is used. Our benchmarks show that the monitoring overhead is substantially lower than what is required for our practical application.
Original languageEnglish
Title of host publication IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society
Number of pages6
Place of PublicationBeijing, China
PublisherIEEE Computer Society
Publication date01.05.2017
ISBN (Print)978-1-5386-1128-9
ISBN (Electronic) 978-1-5386-1127-2
Publication statusPublished - 01.05.2017
Event43rd Annual Conference of the IEEE Industrial Electronics Society - China National Convention Center, Beijing, China
Duration: 29.10.201701.11.2017


Dive into the research topics of 'Monitoring as a Service for Networked Medical Cyber-Physical Systems'. Together they form a unique fingerprint.

Cite this