| نویسندگان | S.M. Babamir |
|---|---|
| نشریه | Advances in Experimental Medicine and Biology Series, Collection Software Tools and Algorithms for Biological Systems |
| شماره صفحات | 637 |
| شماره مجلد | 696 |
| ضریب تاثیر (IF) | ثبت نشده |
| نوع مقاله | Full Paper |
| تاریخ انتشار | 2011-03-15 |
| رتبه نشریه | علمی - پژوهشی |
| نوع نشریه | الکترونیکی |
| کشور محل چاپ | ایران |
| نمایه نشریه | SCOPUS ,JCR |
چکیده مقاله
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.