Runtime Verification for Interconnected Medical Devices

TitleRuntime Verification for Interconnected Medical Devices
Publication TypeConference Paper
Year of Publication2016
AuthorsLeucker, M, Schmitz, M, Tellinghusen, Dà
Conference NameLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {II}
SeriesLecture Notes in Computer Science
Volume9953
Date Published10/2016
PublisherSpringer
Abstract

In this tool paper we present a software development kit (SDK) for the Open Surgical Communication Protocol (OSCP) that supports the development of interconnected medical devices according to the recent IEEE 11073 standards for interoperable medical device communication. Building on service-oriented architecture (SOA), dynamically interconnected medical devices publish their connectivity interface, via which these systems provide data and can be controlled. To achieve the safety requirements necessary for medical devices, our tool, the OSCP Device Modeler, allows the specification of temporal assertions for the respective data streams of the systems and generates automatically corresponding monitors that may be used during testing, but also during the application in field to ensure adherence to the interface specification. A further tool, the OSCP Swiss Army Knife, allows subscribing to the services provided via the interfaces of the system under development and thereby supports its debugging. The whole OSCP SDK makes heavy use of runtime verification techniques and shows their advantages in this application area.

URLhttp://dx.doi.org/10.1007/978-3-319-47169-3_29
DOI10.1007/978-3-319-47169-3_29
Bibtex: 
@inproceedings {1244,
	title = {Runtime Verification for Interconnected Medical Devices},
	booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {II}},
	series = {Lecture Notes in Computer Science},
	volume = {9953},
	year = {2016},
	month = {10/2016},
	publisher = {Springer},
	organization = {Springer},
	abstract = {<p>In this tool paper we present a software development kit (SDK) for the Open Surgical Communication Protocol (OSCP) that supports the development of interconnected medical devices according to the recent IEEE 11073 standards for interoperable medical device communication. Building on service-oriented architecture (SOA), dynamically interconnected medical devices publish their connectivity interface, via which these systems provide data and can be controlled. To achieve the safety requirements necessary for medical devices, our tool, the OSCP Device Modeler, allows the specification of temporal assertions for the respective data streams of the systems and generates automatically corresponding monitors that may be used during testing, but also during the application in field to ensure adherence to the interface specification. A further tool, the OSCP Swiss Army Knife, allows subscribing to the services provided via the interfaces of the system under development and thereby supports its debugging. The whole OSCP SDK makes heavy use of runtime verification techniques and shows their advantages in this application area.</p>
},
	doi = {10.1007/978-3-319-47169-3_29},
	url = {http://dx.doi.org/10.1007/978-3-319-47169-3_29},
	author = {Martin Leucker and Malte Schmitz and Danilo {\`a} Tellinghusen}
}
PDF: