Model-Driven Safety Analysis of Closed-Loop Medical Systems.

Area of Science:

• Cyber-physical systems in healthcare
• Medical device safety engineering
• Networked medical device systems

Background:

• Modern hospitals utilize interconnected medical devices, forming complex cyber-physical systems.
• Ensuring the safety of these networked systems, particularly for critical functions like drug infusion, is paramount.

Purpose of the Study:

• To develop and verify a safety approach for closed-loop medical device systems controlling physiologic drug infusion.
• To demonstrate the applicability of the proposed method to clinically significant systems.

Main Methods:

• Combines simulation-based analysis of detailed patient dynamics models.
• Integrates model checking of abstract timed automata models.
• Establishes a relationship between models to preserve timing behavior for conservative safety analysis.

Main Results:

• The verification approach is demonstrated on a clinically relevant case study.
• The combined simulation and model-checking method ensures the conservativeness of safety analysis.
• System design for open-loop safety during network failures is described.

Conclusions:

• The proposed verification approach is effective for ensuring the safety of closed-loop medical device systems.
• The method provides a robust framework for analyzing the safety properties of complex networked medical devices.
• The study contributes to the safe integration of advanced medical technologies in clinical settings.