The AltaRica 3.0 project for model-based safety assessment

Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine; Kloul, Leïla

doi:10.1109/indin.2013.6622976

Cited by 50 publications

(25 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…According to Lisagor et al [9] and Batteux et al [3], there are certain criteria that distinguish between different approaches to Model-Based Safety Analysis (MBSA). One criterion is the type of model construction.…”

Section: Related Workmentioning

confidence: 99%

“…There are many approaches to Model-Based Safety Assessment that can be found in literature, such as HiP-HOPS [4], Failure Propagation Transformation Notation (FPTN) [11], Rodon [2], deviation models [12], or the AltaRica language [3], to name only a few.…”

Section: Related Workmentioning

confidence: 99%

“…In particular, the method of value propagation has been changed significantly. Although the last version of AltaRica [3] supports bidirectional flows, there are still no built-in elements to model physical flows. OpenAltaRica (http://openaltarica.fr/) is an integrated platform based on the AltaRica modeling formalism that provides a set of analysis tools.…”

Section: Related Workmentioning

confidence: 99%

“…Existing approaches like Rodon [2], AltaRica [3], and HiP-HOPS [4] have already proven that reliable and useful safety analysis results can be obtained using formal models of the system. However, the success of fully automated approaches to safety analysis in an industrial context is still limited.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Model Based Safety Analysis with smartIflow

2017

View full text Add to dashboard Cite

Verification of safety requirements is one important task during the development of safety critical systems. The increasing complexity of systems makes manual analysis almost impossible. This paper introduces a new methodology for formal verification of technical systems with smartIflow (State Machines for Automation of Reliability-related Tasks using Information FLOWs). smartIflow is a new modeling language that has been especially designed for the purpose of automating the safety analysis process in early product life cycle stages. It builds up on experience with existing approaches. As is common practice in current approaches, components are modeled as finite state machines. However, new concepts are introduced to describe component interactions. Events play a major role for internal interactions between components as well as for external (user) interactions. Our approach to the verification of formally specified safety requirements is a two-step method. First, an exhaustive simulation creates knowledge about a great variety of possible behaviors of the system, especially including reactions on suddenly occurring (possibly intermittent) faults. In the second step, safety requirements specified in CTL (Computation Tree Logic) are verified using model checking techniques, and counterexamples are generated if these are not satisfied. The practical applicability of this approach is demonstrated based on a Java implementation using a simple Two-Tank-Pump-Consumer system.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Model Based Safety Analysis with smartIflow

2017

View full text Add to dashboard Cite

show abstract

“…AltaRica 3.0 provides structuring constructs stemmed from both object-oriented and prototype-oriented paradigms (see e.g. Batteux et al (2015)). Prototypes are used to represent components with a unique occurrence in the system.…”

Section: Architecture Of the Systemmentioning

confidence: 99%

Safety Analyzes of Mechatronics Systems: a Case Study

Aupetit

Batteux

Rauzy³

et al. 2017

IFAC-PapersOnLine

View full text Add to dashboard Cite

In this article, we present a safety analysis of the case study "Landing Gear" proposed recently by Bonniol and Wiels. This case study mixes both physical (hardware) elements and control (software) elements and is representative of a large class of mechatronics systems. For this analysis, we used AltaRica 3.0 as modeling language and stochastic simulation as analysis tool. This experience sketches a methodology to assess the effects of hazards, failures and uncertainties in mechatronics systems.

show abstract

Optimizing an AltaRica simulator

Wang

Jian

et al. 2019

Concurrency and Computation

View full text Add to dashboard Cite

Since the AltaRica language has, in fact, become the European industry standard, the AltaRica-based simulation method is one of the important research contents in the field of safety analysis methods. At the same time, in practical applications, simulations are mostly executed tens of thousands of times. Therefore, it is practical to optimize the execution time of the simulation method. We first analyze the hotspots in the execution of simulation methods and then propose two optimization strategies for two hot issues. The optimization method is designed and implemented by the method of space for time. Finally, the effectiveness and application scenarios of the optimization method are illustrated by experiments with different scale models.Moreover, the experiment data shows that the optimization method is effective in most cases.

show abstract

The AltaRica 3.0 project for model-based safety assessment

Cited by 50 publications

References 8 publications

Model Based Safety Analysis with smartIflow

Model Based Safety Analysis with smartIflow

Safety Analyzes of Mechatronics Systems: a Case Study

Optimizing an AltaRica simulator

Contact Info

Product

Resources

About