A Framework for Specifying Safe Behavior of the CIIP Medical System

  • Seyed Morteza BabamirEmail author
Part of the Advances in Experimental Medicine and Biology book series (AEMB, volume 696)


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.


System Behavior Blood Sugar Level Safety Requirement System Reservoir Safe Behavior 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Pnueli A (1977) The temporal logic of programs. The 18th Annual of IEEE-CS Symposium on Foundations of Computer Science, 46–57Google Scholar
  2. 2.
    Jensen K and Kristensen L M (2009) Colored Petri-Nets, modeling and validation of concurrent systems. Springer, New YorkGoogle Scholar
  3. 3.
    Ghezzi C et al. (2003) Fundamentals of software engineering, 2nd edition. Prentice-Hall, Upper Saddle RiverGoogle Scholar
  4. 4.
    Wang J et al. (2007) Developing an insulin pump system using the SOFL method. The 14th Asia-Pacific Software Engineering Conference, 334–341Google Scholar
  5. 5.
    Sommerville I (2006) Software engineering, 8th edition. Addison Wesley, ReadingGoogle Scholar
  6. 6.
    Martinez-Sarriegui I et al. (2009) Modeling and formal specification of a multi agent telemedicine system for diabetes care. The International Conference on Agents and Artificial Intelligence, ICAART2009, 507–512Google Scholar
  7. 7.
    Babamir S M and Babamir F S (2008). Behavioral specification of real-time requirements. The 15th Asia-Pacific Software Engineering Conference IEEE, 209–306. DOI: 10.1109/APSEC.2008.22Google Scholar
  8. 8.
    Delgado N et al. (2004) Taxonomy and catalog of runtime software-fault monitoring tools. IEEE Transactions on Software Engineering, 30 (22): 859–872CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  1. 1.University of KashanKashanIran

Personalised recommendations