title: Specification and simulation of behavior of the Continuous Infusion Insulin Pump system.
abstract: Continuous Infusion Insulin Pump (CIIP) system is responsible for monitoring diabetic blood sugar. In this paper, we aim to specify and simulate the CIIP software behavior. To this end, we first: (1) presented a model consisting of the CIIP system behavior in response to its environment (diabetic) behavior and (2) we formally defined the safety requirements of the system environment (diabetic) in the Z formal modeling language. Such requirements should be satisfied by the CIIP software. Finally, we programmed the model and requirements.
authors.affiliation: Department of Computer Engineering, University of Kashan, Kashan, Iran.
authors.forename: Seyed Morteza
authors.initials: SM
authors.lastname: Babamir
authors.affiliation: University of Applied Science and Technology, Shar-e-Kord, Iran.
authors.forename: Mehdi Borhani
authors.initials: MB
authors.lastname: Dehkordi
mesh_terms: D003198:Computer Simulation; D003920:Diabetes Mellitus / Q000378:metabolism / Q000628:therapy*; D006801:Humans; D007332:Insulin Infusion Systems; D008954:Models, Biological; D012984:Software
keywords: Insulin pump; formal modeling; safety requirement; simulation; verification