No full text
Paper published in a journal (Scientific congresses, symposiums and conference proceedings)
The Fault-Tolerant Insulin Pump Therapy
Capozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio
2005In Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems, p. 33-42
Peer reviewed
 

Files


Full Text
No document available.

Send to



Details



Keywords :
Coordinated atomic actions; Fault tolerance; Statecharts
Abstract :
[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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2009-089
Author, co-author :
Capozucca, Alfredo  ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Guelfi, Nicolas ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Pelliccione, Patrizio
Language :
English
Title :
The Fault-Tolerant Insulin Pump Therapy
Publication date :
July 2005
Event name :
Workshop on Rigorous Engineering of Fault-Tolerant Systems
Event organizer :
University of Newcastle upon Tyne
Event place :
Newcastle upon Tyne, United Kingdom
Event date :
07-2005
Audience :
International
Journal title :
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems
Pages :
33-42
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 05 November 2013

Statistics


Number of views
55 (2 by Unilu)
Number of downloads
0 (0 by Unilu)

WoS citations
 
8

Bibliography


Similar publications



Contact ORBilu