Reference : The Fault-Tolerant Insulin Pump Therapy
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/9879
The Fault-Tolerant Insulin Pump Therapy
English
Capozucca, Alfredo mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Guelfi, Nicolas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Pelliccione, Patrizio [> >]
Jul-2005
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems
33-42
Yes
International
Workshop on Rigorous Engineering of Fault-Tolerant Systems
07-2005
University of Newcastle upon Tyne
Newcastle upon Tyne
UK
[en] Coordinated atomic actions ; Fault tolerance ; Statecharts
[en] 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.
Researchers ; Students ; General public
http://hdl.handle.net/10993/9879

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.