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 metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01945908
Contributor : Tatiana Prosvirnova <>
Submitted on : Wednesday, December 5, 2018 - 4:01:10 PM
Last modification on : Wednesday, July 15, 2020 - 10:36:12 AM
Document(s) archivé(s) le : Wednesday, March 6, 2019 - 3:12:39 PM

File

BPRY2018-ICSRS-PhasedMissionSy...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01945908, version 1

Citation

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⟩

Share

Metrics

Record views

131

Files downloads

221