用于指定 CIIP 医疗系统安全行为的框架。

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

机构信息

University of Kashan, Kashan, Iran.

出版信息

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

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.

摘要

现代医疗系统软件算法和计算的充分可靠性是一个值得关注的问题，因为系统软件负责满足系统环境（即患者）的安全要求。本章旨在提出一个满足糖尿病患者安全要求的连续输注胰岛素泵（CIIP）安全关键医疗系统行为规范的框架。