Rigorous modeling and analysis of interoperable medical devices

Autoren Atif Mashkoor
Johannes Sametinger
Editoren
Titel Rigorous modeling and analysis of interoperable medical devices
Buchtitel Proceedings of the 2016 Spring Simulation Multi-Conference (SpringSim'16)
Typ in Konferenzband
Verlag Society for Modeling & Simulation International
ISBN 1-56555-359-4
Monat April
Jahr 2016
Seiten 800-807
SCCH ID# 1608
Abstract

Medical Devices (MDs) are by definition safety-critical and increasingly also become security-critical when interoperating, i.e., when communicating in some form. Finding errors, inconsistencies, or vulnerabilities in MDs before deployment can significantly decrease costs, and increase quality and reliability. In this paper, we present a rigorous “correct-by-construction” approach for modeling and analyzing interoperating MDs by considering various abstraction levels, i.e., the functional, the safety, and the security level. The approach is illustrated using sample requirements of a hemodialysis device.