Atif Mashkoor, Johannes Sametinger,
"Rigorous Modeling and Analysis of Interoperable Medical Devices"
: SpringSim'16 Spring Simulation Multi-Conference, Pasadena, CA, USA, April 3-6, 2016, 4-2016
Original Titel:
Rigorous Modeling and Analysis of Interoperable Medical Devices
Sprache des Titels:
Englisch
Original Buchtitel:
SpringSim'16 Spring Simulation Multi-Conference, Pasadena, CA, USA, April 3-6, 2016
Original Kurzfassung:
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 levels of abstraction, i.e., the functional, the safety, and the security level. The approach is illustrated using sample requirements of a hemodialysis case study.