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.
Type de document :
Communication dans un congrès
Stein Haugen, Anne Barros, Coen van Gulijk, Trond Kongsvik, Jan Erik Vinnem. European Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. CRC Press, pp.907-914, Safety and Reliability – Safe Societies in a Changing World. 〈https://www.ntnu.edu/esrel2018〉
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01826645
Contributeur : Tatiana Prosvirnova <>
Soumis le : vendredi 29 juin 2018 - 16:03:49
Dernière modification le : samedi 14 juillet 2018 - 01:06:49
Document(s) archivé(s) le : jeudi 27 septembre 2018 - 08:20:14

Fichier

Batteux2018-SimplificationOfFa...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01826645, version 1

Citation

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models. Stein Haugen, Anne Barros, Coen van Gulijk, Trond Kongsvik, Jan Erik Vinnem. European Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. CRC Press, pp.907-914, Safety and Reliability – Safe Societies in a Changing World. 〈https://www.ntnu.edu/esrel2018〉. 〈hal-01826645〉

Partager

Métriques

Consultations de la notice

138

Téléchargements de fichiers

36