Reference : The Fault-Tolerant Insulin Pump Therapy
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/9880
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 [> >]
2006
Rigorous Development of Complex Fault-Tolerant Systems, 4157
Michael, Butler
Cliff, Jones
Alexander, Romanovsky
Elena, Troubitsyna
Springer-Verlag
Lecture Notes in Computer Sciences LNCS 4157
59-79
Yes
9783540482659
[en] 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 occur. 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.
http://hdl.handle.net/10993/9880
10.1007/11916246_3

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.