Towards a sound semantics for dynamic fault trees

Antoine Rauzy and Blériot-Fabre, Chaire

Reliability Engineering and System Safety, 2015, vol. 142, issue C, 184-191

Abstract: In this article, we study the semantics of dynamic fault trees and related formalisms. We suggest that there are actually three mechanisms at work in dynamic fault trees: first, changes of states due to occurrences of events, second bottom-up propagations of values as in static fault trees, and third top-down propagations of demands of activations of components. We propose a direct translation of dynamic fault trees into guarded transitions systems, the underlying mathematical model of the AltaRica 3.0 modeling language. This encoding provides a good basis for our study. We discuss also assessment algorithms at hand in light of this translation.

Keywords: Dynamic fault trees; Guarded transitions systems (search for similar items in EconPapers)
Date: 2015
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (5)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0951832015001295
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:reensy:v:142:y:2015:i:c:p:184-191

DOI: 10.1016/j.ress.2015.04.017

Access Statistics for this article

Reliability Engineering and System Safety is currently edited by Carlos Guedes Soares

More articles in Reliability Engineering and System Safety from Elsevier
Bibliographic data for series maintained by Catherine Liu ().