| Authors | S.M. Babamir |
|---|---|
| Journal | Advances in Experimental Medicine and Biology Series, Collection Software Tools and Algorithms for Biological Systems |
| Page number | 637 |
| Volume number | 696 |
| IF | ثبت نشده |
| Paper Type | Full Paper |
| Published At | 2011-03-15 |
| Journal Grade | Scientific - research |
| Journal Type | Electronic |
| Journal Country | Iran, Islamic Republic Of |
| Journal Index | SCOPUS ,JCR |
Abstract
Adequate reliability of algorithms and computations of modern medical systems software is a matter of concern because the system software is in charge of satisfying safety requirements of the system environment, i.e., the patient. This chapter aims to present a framework for specifying the behavior of the Continuous Infusion Insulin Pump (CIIP) safety-critical medical system that satisfies diabetic’s safety requirements.