| Literature DB >> 21431605 |
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.Entities:
Mesh：
Substances：
Year: 2011 PMID： 21431605 DOI： 10.1007/978-1-4419-7046-6_65
Source DB: PubMed Journal: Adv Exp Med Biol ISSN： 0065-2598 Impact factor: 2.622