A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
2018 3rd International Conference on System Reliability and Safety (ICSRS)
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-missiondoi:10.1109/icsrs.2018.8688851 fatcat:c5i75plxn5fc3addn26jl6myva