Runtime Verification of Web Services for Interconnected Medical Devices

Normann Decker, Franziska Kühn, Daniel Thoma


This paper presents a framework to ensure the correctness of service-oriented architectures based on runtime verification techniques. Traditionally, the reliability of safety critical systems is ensured by testing the complete system including all subsystems. When those systems are designed as service-oriented architectures, and independently developed subsystems are composed to new systems at runtime, this approach is no longer viable. Instead, the presented framework uses runtime monitors synthesised from high-level specifications to ensure safety constraints. The framework has been designed for the interconnection of medical devices in the operating room. As a case study, the framework is applied to the interconnection of an ultrasound dissector and a microscope. Benchmarks show that the monitoring overhead is negligible in this setting.
Titel25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014
Erscheinungsort Naples, Italy
Herausgeber (Verlag)IEEE Computer Society
ISBN (Print)978-1-4799-6032-3
ISBN (elektronisch)978-1-4799-6033-0
PublikationsstatusVeröffentlicht - 01.11.2014
Veranstaltung25th International Symposium on Software Reliability Engineering - Naples, Italien
Dauer: 03.11.201406.11.2014


Untersuchen Sie die Forschungsthemen von „Runtime Verification of Web Services for Interconnected Medical Devices“. Zusammen bilden sie einen einzigartigen Fingerprint.