Skip to Main content Skip to Navigation
Conference papers

Reliability assessment of phased-mission systems with AltaRica 3.0

Abstract : 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
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Tatiana Prosvirnova Connect in order to contact the contributor
Submitted on : Wednesday, December 5, 2018 - 4:01:10 PM
Last modification on : Sunday, June 26, 2022 - 2:27:40 AM
Long-term archiving on: : Wednesday, March 6, 2019 - 3:12:39 PM


Files produced by the author(s)


  • HAL Id : hal-01945908, version 1


Michel Batteux 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⟩



Record views


Files downloads