Format

Send to

Choose Destination
Adv Exp Med Biol. 2011;696:637-44. doi: 10.1007/978-1-4419-7046-6_65.

A framework for specifying safe behavior of the CIIP medical system.

Author information

1
University of Kashan, Kashan, Iran. babamir@kashanu.ac.ir

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.

PMID:
21431605
DOI:
10.1007/978-1-4419-7046-6_65
[Indexed for MEDLINE]

Supplemental Content

Full text links

Icon for Springer
Loading ...
Support Center