Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica

Tatiana Prosvirnova (1) , Christel Seguin (1) , Christophe Frazza (2) , Michel Batteux (3) , Xavier de Bossoreille (4) , Frédéric Deschamps (5) , Jean Gauthier (6) , Estelle Saez (7)

1 DTIS, ONERA, Université de Toulouse [Toulouse]
2 SATODEV - Safety Tools Development
3 IRT SystemX
4 AIRBUS Protect
5 LGM
6 DASSAULT AVIATION SAINT CLOUD
7 Airbus [France]

The AltaRica modelling language has been designed to facilitate failure propagation modelling and safety analyses of complex technical systems. Indeed, it makes it possible to model the functional dynamics (change of control mode, reconfiguration of equipment, etc.) and failures (cascades of failures, hidden failures, etc.) of the systems. The objective of this article is to provide guides to make the best use of this dynamic modelling capability. We focus on the modelling of potentially problematic dynamic phenomenon-continuous control of a physical process with a feedback loop. We propose different strategies to model this phenomenon illustrated by a simple example. We discuss the advantages and drawbacks of the proposed solutions.

Mots clés: Model Based Safety Assessment; dynamic systems; failure propagation models; AltaRica

Domaines: Sciences de l'ingénieur [physics]; Physique [physics]; Mathématiques [math]; Informatique [cs]

Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, et al.. Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica. International Symposium on Model-Based Safety and Assessment ( IMBSA ), Sep 2022, Munich, Germany. pp.101-115, ⟨10.1007/978-3-031-15842-1_8⟩. ⟨hal-03814095⟩