Runtime verification for interconnected medical devices

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.