Skip to Main content Skip to Navigation

Calcul d'indicateurs de sûreté de fonctionnement de modèles AltaRica 3.0 par simulation stochastique

Abstract : Safety assessment of a critical and complex system allows choices of technical solutions.The chosen modelling language for those assessments must have sufficient power of expression to represent the different behaviours envisaged: AltaRica 3.0 is here used.But computation of dependability indicators on complex models is then difficult: stochastic simulation is a solution, but only allow to estimate values.It is then necessary for the analyst to describe which indicators he wishes to estimate, and what their relations with the model are: a set of measures, covering the conventional needs in dependability, is proposed.The estimation quality is related to the number of measurements, and therefore to the performances of the stochastic simulator software tool: improvements of stochastic simulation of AltaRica 3.0 models have been implemented in the tool of the OpenAltaRica platform.The use of software computation tools in a certification context must be evaluated on their quality: a stochastic simulator reliability evaluation methodology, not limited to AltaRica 3.0, is presented.Finally, a case study of a complex mechatronic system presents the possibilities of stochastic simulation and AltaRica 3.0 for a safety study of this class of systems.
Document type :
Complete list of metadata

Cited literature [150 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Thursday, July 23, 2020 - 2:01:59 PM
Last modification on : Monday, December 13, 2021 - 9:17:13 AM
Long-term archiving on: : Tuesday, December 1, 2020 - 5:50:44 AM


Version validated by the jury (STAR)


  • HAL Id : tel-02905424, version 1


Benjamin Aupetit. Calcul d'indicateurs de sûreté de fonctionnement de modèles AltaRica 3.0 par simulation stochastique. Performance et fiabilité [cs.PF]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASC004⟩. ⟨tel-02905424⟩



Record views


Files downloads