Related Experiment Video
Updated: Apr 22, 2026
05:01
A Detailed Protocol for Physiological Parameters Acquisition and Analysis in Neurosurgical Critical Patients
Published on: October 17, 2017
6.5K
Specification and Verification of Medical Monitoring System Using Petri-nets.
Negar Majma1, Seyed Morteza Babamir2
1Department of Computer, University of Kashan, Kashan, Iran ; Department of Computer, Naghshejahan Higher Education Institute, Isfahan, Iran.
Journal of Medical Signals and Sensors
|October 10, 2014
Summary
This study introduces a fuzzy Petri-net (FPN) model for verifying the behavior of continuous infusion insulin (INS) devices. This approach enhances the safety of medical monitoring software by handling fuzzy data inputs and outputs.
Area of Science:
- Medical device software verification
- Formal methods in healthcare
- Fuzzy logic applications
Background:
- Medical monitoring devices rely on embedded software for critical calculations, posing risks if software behavior is not verified.
- Fuzzy data from patient monitoring necessitates advanced verification methods beyond traditional crisp logic.
- Existing monitoring device verification methods inadequately address fuzzy computations.
Purpose of the Study:
- To develop and present a fuzzy Petri-net (FPN) model for verifying the behavior of continuous infusion insulin (INS) devices.
- To address the challenge of monitoring fuzzy computations in medical devices.
- To enhance the reliability and safety of insulin infusion software.
Main Methods:
- Synthesizing a fuzzy Petri-net (FPN) model for software behavior verification.
- Modeling fuzzy input and output variables for the INS device software.
- Utilizing fuzzy rules and FPN design for verification.
- Applying formal and visual methods for software verification.
Main Results:
- A novel FPN model was synthesized to address fuzzy computations in medical device software.
- The model effectively represents fuzzy variables inherent in INS device operations.
- The methodology provides a framework for verifying the behavior of fuzzy logic-based medical software.
Conclusions:
- The developed FPN model offers a robust method for verifying the behavior of continuous infusion insulin (INS) devices.
- This approach is crucial for ensuring the safety and accuracy of medical monitoring software dealing with fuzzy data.
- Fuzzy Petri-nets represent a promising direction for formal verification in medical software engineering.
