Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models - Archive ouverte HAL Access content directly
Conference Papers Year :

Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models

Abstract

Safety and risk analyses rely on models. These models have several important characteristics. They are event-oriented. The system under study changes of state when events, such as failure, hazard, repair and so on, occur. They are probabilistic. The exact moment of the occurrence of a failure is in essence unpredictable. They are discrete. States are represented by means of variables that take their values into finite, usually very small, domains. The most widely used modeling formalisms such as Fault Trees, Block Diagrams and Event Trees rely on Boolean algebra. There are cases however where binary states are not sufficient. For instance, it is sometimes necessary to represent the level of degradation of a component, the quality of a signal, and so on. This kind of models can be easily represented with AltaRica 3.0-a high level modeling language dedicated to safety analyses. AltaRica 3.0 is at the core of the OpenAltaRica project which aim is to develop a complete set of assessment tools for the language, including among others compilers to Fault Trees and Markov Chains, stochastic and stepwise simulators. In this article we study how the notion of prime implicants can be extended to finite domain calculus. We discuss the efficient implementation of finite domain calculus and show how these results can be applied to simplify Fault Trees, automatically generated from AltaRica 3.0 models. This simplification in its turn significantly improves the efficiency of the assessment of the automatically generated Fault Trees.
Fichier principal
Vignette du fichier
Batteux2018-SimplificationOfFaultTrees-ESREL2018.pdf (376.4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01826645 , version 1 (29-06-2018)

Identifiers

  • HAL Id : hal-01826645 , version 1

Cite

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models. European Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. pp.907-914. ⟨hal-01826645⟩
340 View
203 Download

Share

Gmail Facebook Twitter LinkedIn More