The AltaRica 3.0 Project for Model-Based Safety Assessment

Abstract

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 highlevel 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.

A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica

“…Several versions of the language have been defined (see for instance [1,15]). In this work, we use the AltaRica 2.0 Dataflow language which is a fragment of other versions and which is sufficient to analyse the behaviour of computer based systems.…”

Performing Safety Analyses with AADL and AltaRica

“…To implement the transformation of AADL to AltaRica we use the standardized version of AltaRica Data-Flow -a subset of AltaRica 3.0 [8], supported by the OpenAltaRica platform. This platform is developed by IRT SystemX and is free of use for research and education purposes.…”

“…The transformation of AADL EMV2 models to AltaRica is interesting because it enables us to enlarge the set of safety assessment tools for AADL and to perform cross check verifications. Indeed, to implement the transformation we use the standardized version of AltaRica Data-Flow, which is a subset of AltaRica 3.0 [8]. AltaRica 3.0 is supported by the OpenAltaRica platform, which is free of use for research and education purposes.…”

“…AltaRica [2,8] is a high level modeling language dedicated to Safety Analyses. Its formal semantics allowed the development of a set of efficient assessment tools, such as compilers to Fault Trees [10,9] and Markov chains, stochastic and stepwise simulators.…”

Safety Analyzes of Mechatronics Systems: a Case Study

“…AltaRica 3.0 (see e.g. Prosvirnova et al (2013)) is a highlevel modeling language dedicated to probabilistic safety assessments. AltaRica 3.0 is a prototype-oriented modeling This research work has been carried out in the framework of the Technological Research Institute SystemX, and therefore granted with public funds within the scope of the French Program "Investissements d'Avenir".…”