The Fault-Tolerant Insulin Pump Therapy

  • Alfredo Capozucca
  • Nicolas Guelfi
  • Patrizio Pelliccione
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4157)


The “Fault-Tolerant Insulin Pump Therapy” is based on the Continuous Subcutaneous Insulin Injection technique which combines devices (a sensor and a pump) and software in order to make glucose sensing and insulin delivery automatic. These devices are not physically connected together and they come with the necessary features to detect malfunctions which they may have.

As the patient’s health is the most important, the therapy has to be able to work despite the fact that hardware and/or software faults have or may ocurr.

This paper presents the development cycle for the Insulin Pump Therapy Control System case study, starting from requirements and reaching the implementation following a top-down approach. It will show how the Coordinated Atomic Actions (CAAs) structuring mechanism can be used for modelling Faul-Tolerant (FT) systems and how CAA-DRIP development environment is used to implement it.


Fault Tolerance Blood Glucose Concentration External Object Insulin Delivery Leader Manager 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Java 2 Platform, Standard Edition (J2SE),
  2. 2.
    Anderson, T., Lee, P.: Fault-tolerance: Principles and practice. Prentice Hall, Englewood Cliffs (1981)Google Scholar
  3. 3.
    Avizienis, A.: The n-version approach to fault-tolerant software. IEEE Trans. Sofi. Eng., 1491–1501 (1985)Google Scholar
  4. 4.
    Capozucca, A., Guelfi, N., Pelliccione, P., Romanovsky, A., Zorzo, A.: CAA-DRIP: a framework for implementing Coordinated Atomic Actions. Laboratory for Advanced Software Systems Technical Report nr. TR-LASSY-06-05 (2006)Google Scholar
  5. 5.
    Correct Web Page (2006),
  6. 6.
    Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    DISETRONIC, A member of the Roche Group,
  8. 8.
    Endocrine Disorders & Endocrine Surgery,
  9. 9.
    Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.: A reference model for requirements and specifications. IEEE Softw. 17(3), 37–43 (2000)CrossRefGoogle Scholar
  10. 10.
    Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Trans. Softw. Eng. Methodol. 5(4), 293–333 (1996)CrossRefGoogle Scholar
  11. 11.
  12. 12.
    National Institute for Health and Clinical Excellence. Guidance on the use of continuous subcutaneous insulin infusion for diabetes (Technology Appraisal 57) (February 2003),
  13. 13.
    Randell, B.: System structure for software fault tolerance. IEEE Transactions on Software Engineering SE-1(2), 220–232 (1975)Google Scholar
  14. 14.
    Xu, J., Randell, B., Romanovsky, A., Rubira, C.M.,, R.J.: Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. In: Proceedings of the 25th International Symposium on Fault-Tolerant Computing, 499–508 (1995)Google Scholar
  15. 15.
    Xu, J., Randell, B., Romanovsky, A.B., Rubira, C.M.F., Stroud, R.J., Wu, Z.: Fault tolerance in concurrent object-oriented software through coordinated error recovery. In: Symposium on Fault-Tolerant Computing, pp. 499–508 (1995)Google Scholar
  16. 16.
    Zorzo, A.F., Stroud, R.J.: A distributed object-oriented framework for dependable multiparty interactions. In: OOPSLA 1999: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 435–446. ACM Press, New York (1999)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Alfredo Capozucca
    • 1
  • Nicolas Guelfi
    • 1
  • Patrizio Pelliccione
    • 1
  1. 1.Laboratory for Advanced Software SystemsUniversity of LuxembourgLuxembourgLuxembourg

Personalised recommendations