Model-Based Safety Assessment of an Insulin Pump System with AltaRica 3.0 - Archive ouverte HAL
Conference Papers Year : 2021

Model-Based Safety Assessment of an Insulin Pump System with AltaRica 3.0

Abstract

The safety analysis of a system is a classical field of engineering, with its well-known processes and tools (e.g. fault trees, event trees, reliability block diagrams or a combination among them). Nevertheless, the increasing complexity of systems has to be handled with appropriate approaches and tools: for example the so called Model-Based Safety Assessment approach. In this publication, we present the modelling and assessment of an insulin pump system. Also called “artificial pancreas”, this system is a medical device and a typical example of a cyber-physical system. It contributes to reduce the constraints of diabetic patients caused by their illness. The system is composed of three main parts in close loop. The safety assessment of this system has to be finely analyzed since failures may result in severe harms to the patient. We use the AltaRica 3.0 modeling language, which is such a solution of the Model-Based Safety Assessment approach, to realize the safety assessment of the Insulin Pump System.
No file

Dates and versions

hal-03429161 , version 1 (15-11-2021)

Identifiers

  • HAL Id : hal-03429161 , version 1

Cite

Julien Vidalie, Michel Batteux, Faïda Mhenni, Jean-Yves Choley. Model-Based Safety Assessment of an Insulin Pump System with AltaRica 3.0. Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France. ⟨hal-03429161⟩
157 View
0 Download

Share

More