A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Runtime Verification of Web Services for Interconnected Medical Devices
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
doi:10.1109/issre.2014.16
dblp:conf/issre/DeckerKT14
fatcat:htfw6fg7tze4xfsrcrbqvbepcu