|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 10 van 11 gevonden artikelen
| Titel: |
Specification and simulation of behavior of the Continuous Infusion Insulin Pump system |
| Auteur: |
Babamir, Seyed Morteza Dehkordi, Mehdi Borhani |
| Verschenen in: |
Bio-medical materials and engineering |
| Paginering: | Jaargang 24 (2014) nr. 2 pagina's 1517-1526 |
| Jaar: |
2014-03-18 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 10 van 11 gevonden artikelen
| << vorige | volgende >> |