|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 10 of 11 found articles
| Title: |
Specification and simulation of behavior of the Continuous Infusion Insulin Pump system |
| Author: |
Babamir, Seyed Morteza Dehkordi, Mehdi Borhani |
| Appeared in: |
Bio-medical materials and engineering |
| Paging: | Volume 24 (2014) nr. 2 pages 1517-1526 |
| Year: |
2014-03-18 |
| Contents: |
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. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 10 of 11 found articles
| << previous | next >> |