Rigorous Modeling and Analysis of Interoperable Medical Devices

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-byconstruction" 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.

Model‐driven engineering of safety and security software systems: A systematic mapping study and future research directions

“…We believe two domains—medical and railway—are underrepresented in the current state of the art and should be further considered by the researchers in the future. Since medical systems have started becoming interoperable, 160 cybersecurity has become an essential issue for these safety‐critical systems. Additionally, none of the found studies related to the medical domain focused on the requirements stage.…”