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.
Original languageEnglish
Title of host publication25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014
Number of pages10
Place of Publication Naples, Italy
PublisherIEEE Computer Society
Publication date01.11.2014
ISBN (Print)978-1-4799-6032-3
ISBN (Electronic)978-1-4799-6033-0
Publication statusPublished - 01.11.2014
Event25th International Symposium on Software Reliability Engineering - Naples, Italy
Duration: 03.11.201406.11.2014


Dive into the research topics of 'Runtime Verification of Web Services for Interconnected Medical Devices'. Together they form a unique fingerprint.

Cite this