title: A framework for specifying safe behavior of the CIIP medical system.
abstract: Adequate reliability of algorithms and computations of modern medical systems software is a matter of concern because the system software is in charge of satisfying safety requirements of the system environment, i.e., the patient. This chapter aims to present a framework for specifying the behavior of the Continuous Infusion Insulin Pump (CIIP) safety-critical medical system that satisfies diabetic's safety requirements.
authors: University of Kashan, Kashan, Iran. babamir@kashanu.ac.ir
authors: Seyed Morteza
authors: SM
authors: Babamir
mesh_terms: D000465:Algorithms; D001786:Blood Glucose / Q000378:metabolism; D019295:Computational Biology; D003198:Computer Simulation; D003922:Diabetes Mellitus, Type 1 / Q000097:blood / Q000188:drug therapy; D004869:Equipment Safety; D006801:Humans; D007328:Insulin / Q000008:administration & dosage; D007332:Insulin Infusion Systems / Q000009:adverse effects / Q000592:standards* / Q000706:statistics & numerical data; D008991:Monitoring, Physiologic / Q000592:standards / Q000706:statistics & numerical data; D012984:Software
chemical_list: D001786:Blood Glucose; D007328:Insulin