Runtime verification for interconnected medical devices

Martin Leucker, Malte Schmitz*, Danilo à Tellinghusen

*Corresponding author for this work
5 Citations (Scopus)


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.

Original languageEnglish
Title of host publication Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
EditorsB. Steffen , T. Margaria
Number of pages8
Place of PublicationCham
PublisherSpringer Verlag
Publication date05.10.2016
ISBN (Print)978-3-319-47168-6
ISBN (Electronic)978-3-319-47169-3
Publication statusPublished - 05.10.2016


Dive into the research topics of 'Runtime verification for interconnected medical devices'. Together they form a unique fingerprint.

Cite this