Reliability assessment of phased-mission systems with AltaRica 3.0

Michel Batteux (1) , Tatiana Prosvirnova (2) , Antoine Rauzy (3) , Liu Yang (3)

1 IRT SystemX
2 LGI - Laboratoire Génie Industriel - EA 2606
3 NTNU - Norwegian University of Science and Technology [Trondheim]

In this article, we show how phased-mission systemscan be described and assessed by means of the AltaRica 3.0technology. AltaRica 3.0 is a formal, object-oriented modelinglanguage dedicated to probabilitic risk/safety analyses. We illus-trate here its power by introducing a modeling pattern makingit possible to represent phased-mission systems in an elegantway. This modeling pattern fits with the CESAMES frameworkfor systems engineering. We show that AltaRica 3.0 models forphased-mission systems can be assessed efficiently by means ofthe stepwise simulator and the stochastic simulator we developedfor the language

Mots clés: phased-mission systems; AltaRica 3.0; modelingpatterns

Domaines: Modélisation et simulation

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang. Reliability assessment of phased-mission systems with AltaRica 3.0. 3rd International Conference on System Reliability and Safety (ICSRS 2018), Nov 2018, Barcelone, Spain. ⟨hal-01945908⟩