Related Experiment Video
Updated: Jun 10, 2026
12:08
Improving IV Insulin Administration in a Community Hospital
Published on: June 11, 2012
Constructing a model-based software monitor for the insulin pump behavior.
1Department of Computer, University of Kashan, Kashan, Iran. babamir@kashanu.ac.ir
Journal of Medical Systems
|August 13, 2010
Summary
Ensuring patient safety in medical systems requires reliable software. This study introduces a model-based method for a run-time monitor to enhance the safety of Continuous Infusion Insulin Pumps (CIIP).
Area of Science:
- Software Engineering
- Medical Device Safety
- Control Systems
Background:
- Medical surveillance systems are safety-critical, relying on software.
- Software failures in these systems pose significant risks to patient safety.
- Ensuring the reliability of algorithms and computations is paramount.
Purpose of the Study:
- To present a model-based method for constructing a run-time monitor.
- To enhance the safety of safety-critical medical systems.
- To verify software algorithms and computations against safety requirements.
Main Methods:
- Development of a model-based approach.
- Construction of a run-time monitor.
- Focus on safety-critical medical systems, specifically Continuous Infusion Insulin Pumps (CIIP).
Main Results:
- A novel model-based method for run-time monitoring is proposed.
- The method aims to ensure software reliability in CIIP.
- The monitor verifies system behavior against predefined safety requirements.
Conclusions:
- Run-time monitoring is an effective strategy for verifying safety-critical medical software.
- The proposed model-based method offers a structured approach to enhance CIIP safety.
- Continuous surveillance of software is crucial for preventing hazards in patient care.
