Runtime Verification of Web Services for Interconnected Medical Devices

Normann Decker, Franziska Kuhn, Daniel Thoma
2014 2014 IEEE 25th International Symposium on Software Reliability Engineering  
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 serviceoriented 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
more » ... esised 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.
doi:10.1109/issre.2014.16 dblp:conf/issre/DeckerKT14 fatcat:htfw6fg7tze4xfsrcrbqvbepcu