Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadatas

Cited literature [150 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02905424
Contributor : Abes Star :  Contact
Submitted on : Thursday, July 23, 2020 - 2:01:59 PM
Last modification on : Friday, October 9, 2020 - 10:02:37 AM

File

74188_AUPETIT_2020_archivage.p...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02905424, version 1

Citation

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⟩

Share

Metrics

Record views

95

Files downloads

56