References of "Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems"
     in
Bookmark and Share    
Peer Reviewed
See detailThe Fault-Tolerant Insulin Pump Therapy
Capozucca, Alfredo UL; Guelfi, Nicolas UL; Pelliccione, Patrizio

in Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (2005, July)

In this paper we describe our experience using Coordinated Atomic Actions (CAAs) to design a control system for a medical treatment, which has high reliability requirements. The “Fault-Tolerant Insulin ... [more ▼]

In this paper we describe our experience using Coordinated Atomic Actions (CAAs) to design a control system for a medical treatment, which has high reliability requirements. The “Fault-Tolerant Insulin Pump Therapy” is based on the Continuous Subcutaneous Insulin Injection technique involving different sensors and actuators in order to enable continued execution of the treatment, as well as detect faults in it. Precisely that is the challenge raised by this example, to design a control system that maintains the delivery of insulin even in the presence of a large number and variety of hardware and software failures. The implementation of this control system has been made in Java using an extension of the DRIP framework, that ensures the reliability properties of systems designed using CAAs. [less ▲]

Detailed reference viewed: 66 (0 UL)