Monitoring as a Service for Networked Medical Cyber-Physical Systems

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.