Specification and Verification of Medical Monitoring System Using Petri‑nets

To monitor the patient behavior, data are collected from patient’s body by a medical monitoring device so as to calculate theoutput using embedded software. incorrect calculations may endanger the patient’s life if the software fails to meet the patient’srequirements. accordingly, the veracity of the software behavior is a matter of concern in the medicine; moreover, the data collectedfrom the patient’s body are fuzzy. some methods have already dealt with monitoring the medical monitoring devices; however,model based monitoring fuzzy computations of such devices have been addressed less. the present paper aims to presentsynthesizing a fuzzy petri net (fpn) model to verify behavior of a sample medical monitoring device called continuous infusioninsulin (ins) because petri net (pn) is one of the formal and visual methods to verify the software’s behavior. the device is wornby the diabetic patients and then the software calculates the ins dose and makes a decision for injection. the input and output ofthe infusion ins software are not crisp in the real world; therefore, we present them in fuzzy variables. afterwards, we use fpninstead of clear pn to model the fuzzy variables. the paper follows three steps to synthesize an fpn to deal with verification ofthe infusion ins device: (1) definition of fuzzy variables, (2) definition of fuzzy rules and (3) design of the fpn model to verify the software behavior.