Safety Assessment of an Electrical System with AltaRica 3.0 - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Safety Assessment of an Electrical System with AltaRica 3.0

Résumé

This article presents the high level, modeling language Al-taRica 3.0 through the safety assessment of an electrical system. It shows how, starting from a purely structural model, several variants can be derived .Two of them target a compilation into Fault Trees and two others target a compilation into Markov chains. Experimental results are reported to show that each of these variants has its own interest. It also advocates that this approach made of successive derivation of variants is a solid ground to build a modeling methodology onto.
Fichier principal
Vignette du fichier
MPR14_IMBSA2014_SafetyAssessmentElectricalSystem.pdf (355.89 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01789438 , version 1 (10-05-2018)

Identifiants

  • HAL Id : hal-01789438 , version 1

Citer

Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy. Safety Assessment of an Electrical System with AltaRica 3.0. 4th International Symposium on Model-Based Safety Assessment, IMBSA 2014, Oct 2014, Munich, Germany. ⟨hal-01789438⟩
196 Consultations
212 Téléchargements

Partager

More