The AltaRica 3.0 Project for Model-Based Safety Assessment - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

The AltaRica 3.0 Project for Model-Based Safety Assessment

Résumé

The aim of this article is to present the AltaRica 3.0 project. " Traditional " risk modeling formalisms (e.g. Fault Trees, Markov Processes, etc.) are well mastered by safety analysts. Efficient assessment algorithms and tools are available. However, models designed with these formalisms are far from the specifications of the systems under study. They are consequently hard to design and to maintain throughout the life cycle of systems. The high-level modeling language AltaRica has been created to tackle this problem. The objective of the AltaRica 3.0 project is to design a new version of AltaRica and to develop a complete set of authoring and assessment tools for this new version of the language. AltaRica 3.0 improves significantly the expressive power of AltaRica Data-Flow without decreasing the efficiency of assessment algorithms. Prototypes of a compiler to Fault Trees, a compiler to Markov chains, stochastic and stepwise simulators have been already developed. Other tools are under specification or implementation.
Fichier principal
Vignette du fichier
PBB13_DCDS2013_AltaRica3_0.pdf (617.33 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01789435 , version 1

Citer

Tatiana Prosvirnova, Michel Batteux, Pierre-Antoine Brameret, Abraham Cherfi, Thomas Friedlhuber, et al.. The AltaRica 3.0 Project for Model-Based Safety Assessment. 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, Sep 2013, York, United Kingdom. ⟨hal-01789435⟩
180 Consultations
380 Téléchargements

Partager

Gmail Facebook X LinkedIn More