Affiliations: Department of Computer Engineering, University of Kashan, Kashan, Iran | University of Applied Science and Technology, Shar-e-Kord, Iran
Note: [] Address for correspondence: Seyed Morteza Babamir, Associate Professor, Department of Computer Engineering, School of Electrical and Computer Engineering, University of Kashan, Kashan, Iran. E-mail: [email protected]
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.
