AltaRica 3.0: a Model-Based approach for Safety Analyses

Abstract : The Model-Based approach for safety and reliability analysis is gradually wining the trust of engineers but is still an active domain of research. Safety engineers master "traditional'' risk modeling formalisms, such as Fault Trees and Event Trees. Efficient algorithms and tools are available. However, despite of their qualities, these formalisms share a major drawback: models are far from the specifications of the systems under study. As a consequence, models are hard to design and to maintain throughout the life cycle of systems. A small change in the specifications may require a complete revisiting of the safety models, which is both resource consuming and error prone. The high level modeling language AltaRica Data-Flow has been created to tackle this problem. AltaRica Data-Flow models are made of hierarchies of reusable components. Graphical representations are associated with components, making models visually very close to Process and Instrumentation Diagrams. AltaRica Data-Flow is at the core of several Integrated Modeling and Simulation Environments used in industry. AltaRica 3.0 is an entirely new version of the language. It improves AltaRica Data-Flow into two directions: its semantics is based on the new underlying mathematical model, Guarded Transition Systems (GTS), which makes it possible to handle systems with instant loops and to define acausal components, i.e. components for which the input and output flows are decided at run time; it provides new constructs to structure models, coming from prototype-oriented modeling languages. The thesis includes a formal part describing in detail the new structural constructs and the semantics of the language, an algorithmic part explaining the compilation of AltaRica 3.0 models into Fault Trees and an implementation of the algorithms in a prototype.
Complete list of metadatas

Cited literature [196 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-01119730
Contributor : Tatiana Prosvirnova <>
Submitted on : Tuesday, March 10, 2015 - 7:52:42 PM
Last modification on : Wednesday, March 27, 2019 - 4:41:26 PM
Long-term archiving on : Thursday, June 11, 2015 - 12:25:51 PM

File

Identifiers

  • HAL Id : tel-01119730, version 2

Collections

Citation

Tatiana Prosvirnova. AltaRica 3.0: a Model-Based approach for Safety Analyses. Computational Engineering, Finance, and Science [cs.CE]. Ecole Polytechnique, 2014. English. ⟨tel-01119730v2⟩

Share

Metrics

Record views

929

Files downloads

2487