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.
Download full-text PDF |
Source |
|---|---|
| http://dx.doi.org/10.3233/BME-130955 | DOI Listing |
Publication Analysis
Top Keywords
continuous infusion
8
infusion insulin
8
insulin pump
8
ciip system
8
ciip software
8
environment diabetic
8
specification simulation
4
behavior
4
simulation behavior
4
behavior continuous
4
Similar Publications
Want AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!