Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Java 2 Platform, Standard Edition (J2SE), http://java.sun.com
Anderson, T., Lee, P.: Fault-tolerance: Principles and practice. Prentice Hall, Englewood Cliffs (1981)
Avizienis, A.: The n-version approach to fault-tolerant software. IEEE Trans. Sofi. Eng., 1491–1501 (1985)
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)
Correct Web Page (2006), http://lassy.uni.lu/correct
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
DISETRONIC, A member of the Roche Group, http://www.disetronic.com
Endocrine Disorders & Endocrine Surgery, http://www.endocrineweb.com/insulin.html
Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.: A reference model for requirements and specifications. IEEE Softw. 17(3), 37–43 (2000)
Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Trans. Softw. Eng. Methodol. 5(4), 293–333 (1996)
Medtronic, http://www.minimed.com
National Institute for Health and Clinical Excellence. Guidance on the use of continuous subcutaneous insulin infusion for diabetes (Technology Appraisal 57) (February 2003), www.nice.org.uk
Randell, B.: System structure for software fault tolerance. IEEE Transactions on Software Engineering SE-1(2), 220–232 (1975)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Capozucca, A., Guelfi, N., Pelliccione, P. (2006). The Fault-Tolerant Insulin Pump Therapy. In: Butler, M., Jones, C.B., Romanovsky, A., Troubitsyna, E. (eds) Rigorous Development of Complex Fault-Tolerant Systems. Lecture Notes in Computer Science, vol 4157. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11916246_3
Download citation
DOI: https://doi.org/10.1007/11916246_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48265-9
Online ISBN: 978-3-540-48267-3
eBook Packages: Computer ScienceComputer Science (R0)