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 the output using embedded software. Incorrect calculations may endanger the patient's life if the software fails to meet the patient's requirements. Accordingly, the veracity of the software behavior is a matter of concern in the medicine; moreover, the data collected from 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 present synthesizing a fuzzy Petri-net (FPN) model to verify behavior of a sample medical monitoring device called continuous infusion insulin (INS) because Petri-net (PN) is one of the formal and visual methods to verify the software's behavior. The device is worn by the diabetic patients and then the software calculates the INS dose and makes a decision for injection. The input and output of the infusion INS software are not crisp in the real world; therefore, we present them in fuzzy variables. Afterwards, we use FPN instead of clear PN to model the fuzzy variables. The paper follows three steps to synthesize an FPN to deal with verification of the 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.

[1]  Paul Grant,et al.  A new approach to diabetic control: fuzzy logic and insulin pump technology. , 2007, Medical engineering & physics.

[2]  B. Wayne Bequette,et al.  Challenges and recent progress in the development of a closed-loop artificial pancreas , 2012, Annu. Rev. Control..

[3]  M.B. Naghibi-Sistani,et al.  Active insulin infusion using fuzzy-based closed-loop control , 2008, 2008 3rd International Conference on Intelligent System and Knowledge Engineering.

[4]  S. Ganesh Vaidyanathan,et al.  Intelligent Insulin Infuser , 2009, 2009 Third UKSim European Symposium on Computer Modeling and Simulation.

[5]  Myung-Geun Chun,et al.  Fuzzy Petri Net Representation and Reasoning Methods for Rule-Based Decision Making Systems , 1993 .

[6]  Pei-Kuang Chao,et al.  Wireless body area network for physical-activity classification and fall detection , 2008, 2008 5th International Summer School and Symposium on Medical Devices and Biosensors.

[7]  Ali Norouzi,et al.  Achieving Key Privacy and Invisibility for Unattended Wireless Sensor Networks in Healthcare , 2014, Comput. J..

[8]  Seyed Morteza Babamir.  Constructing a Model-Based Software Monitor for the Insulin Pump Behavior , 2010, Journal of Medical Systems.

[9]  Adnan Yazici,et al.  A fuzzy Petri net model for intelligent databases , 2007, Data Knowl. Eng..

[10]  Vandana P. Janeja,et al.  An Assessment of Patient Behavior Over Time–Periods: A Case Study of Managing Type 2 Diabetes Through Blood Glucose Readings and Insulin Doses , 2012, Journal of Medical Systems.

[11]  Terry Martin,et al.  A Fuzzy Model of Glucose Regulation , 2005, Journal of Medical Systems.

[12]  Alexandros Pantelopoulos,et al.  SPN-model based simulation of a wearable health monitoring system , 2009, 2009 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[13]  G. Gogou,et al.  A Neural Network Approach in Diabetes Management by Insulin Administration , 2001, Journal of Medical Systems.

[14]  Lars Michael Kristensen,et al.  State Space Methods for Coloured Petri Nets , 2000 .

[15]  Amine Chikh,et al.  Diagnosis of Diabetes Diseases Using an Artificial Immune Recognition System2 (AIRS2) with Fuzzy K-nearest Neighbor , 2012, Journal of Medical Systems.

[16]  Fabrice Kordon,et al.  Modeling and Analyzing Wireless Sensor Networks with VeriSensor , 2012, PNSE.

[17]  Aleksandar Milenkovic,et al.  System architecture of a wireless body area sensor network for ubiquitous health monitoring , 2005 .

[18]  Xiaoou Li,et al.  Adaptive fuzzy petri nets for dynamic knowledge representation and inference , 2000 .

[19]  Mohammad Hassan Khooban,et al.  Swarm optimization tuned Mamdani fuzzy controller for diabetes delayed model , 2013 .

[20]  V. K. Sudhaman,et al.  FPGA Synthesis of Fuzzy (PD and PID) Controller for Insulin Pumps in Diabetes Using Cadence , 2012 .

[21]  Yuji Ouchi.  Medical Diagnostic System Using Fuzzy Coloured Petri Nets under Uncertainty , 1998, MedInfo.

[22]  Yi Zhang,et al.  A Hazard Analysis for a Generic Insulin Infusion Pump , 2010, Journal of diabetes science and technology.

[23]  Michel Diaz,et al.  Petri Nets: Fundamental Models, Verification and Applications , 2009 .

[24]  Seyed Morteza Babamir.  A framework for specifying safe behavior of the CIIP medical system. , 2011, Advances in experimental medicine and biology.

[25]  Zaki Nossair,et al.  Evaluation of Using a Recurrent Neural Network (RNN) and a Fuzzy Logic Controller (FLC) In Closed Loop System to Regulate Blood Glucose for Type-1 Diabetic Patients , 2012 .