Reliability Assessment of Phased-Mission Systems with AltaRica 3.0
Michel Batteux, Tatiana Prosvirnova, Antoine B. Rauzy, Liu Yang · 2018
In this article, we show how phased-mission systems can be described and assessed by means of the AltaRica 3.0 technology. AltaRica 3.0 is a formal, object-oriented modeling language dedicated to probabilitic risk/safety analyses. We illustrate here its power by introducing a modeling pattern making it possible to represent phased-mission systems in an elegant way. This modeling pattern fits with the CESAMES framework for systems engineering. We show that AltaRica 3.0 models for phased-mission systems can be assessed efficiently by means of the stepwise simulator and the stochastic simulator we developed for the language.