Towards a sound semantics for dynamic fault trees

Reliability Engineering and System Safety

Volumn 142, Issue , 2015, Pages 184-191

  Rauzy, Antoine ^a   Blériot Fabre, Chaire ^a  

^a ECOLE CENTRALE PARIS   (France)

Author keywords

Dynamic fault trees; Guarded transitions systems

Indexed keywords

ABSTRACTING; FORESTRY; MODELING LANGUAGES; SEMANTICS;

ALTARICA; BOTTOM UP; DYNAMIC FAULT TREES; FAULT-TREES; TOPDOWN;

TREES (MATHEMATICS);

ALGORITHMS; LANGUAGES;

EID: 84936862888     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2015.04.017     Document Type: Article

References (21)

1. M. AjmoneMarsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis Modeling with generalized stochastic petri nets 1994 Wiley Series in Parallel Computing. John Wiley and Sons
2. Allen JF. Maintaining knowledge about temporal intervals. In: Communications of the ACM. 26/11/1983. ACM Press. p. 832-843, issn:0001-0782.
3. Bobbio Andrea, Codetta Raiteri Daniele. Parametric fault trees with dynamic gates and repair boxes. In: Proceedings of the annual reliability and maintainability symposium (RAMS 2004). Los Angeles, CA, USA; 2004. p. 459-65.
4. Boudali H, Crouzen P, Stoelinga M. Dynamic fault tree analysis through input/output interactive Markov chains. In: Proceedings of international conference on dependable systems and networks (DSN 2007), IEEE Computer Society; 2007. p. 25-38.
5. Boudali H, Crouzen P, Stoelinga M. A compositional semantics for dynamic fault trees in terms of interactive Markov chains. In: Proceedings of international symposium on automated technology for verification and analysis (ATVA'07). Springer Verlag - LNCS vol no. 4762; 2007. p. 441-56.
6. Marc Bouissou, and Jean-Louis Bon A new formalism that combines advantages of fault-trees and Markov models: Boolean logic-driven Markov processes Reliab Eng Syst Saf 82 2003 149 163
7. Marc Bouissou. A generalization of dynamic fault trees through boolean logic driven markov processes (BDMP). In: Terje Aven, Jan Erik Vinnem editors. Proceedings of European safety and reliability conference, ESREL'2007. Taylor and Francis Ltd, Stavanger, Norway; June, 2007, 10: 0415447860 13: 978-0415447867.
8. Brameret Pierre-Antoine, Rauzy Antoine, Roussel Jean-Marc. Preliminary system safety analysis with limited markov chain generation. In: Proceedings of 4th IFAC workshop on dependable control of discrete systems, DCDS 2013, York (Great Britain); 2013. p. 13-8. 978-3-902823-49-6, 1474-6670.
9. Pierre-Antoine Brameret, Antoine Rauzy, and Jean-Marc Roussel Automated generation of partial Markov chain from high level descriptions Reliab Eng Syst Saf 139 2015 179 187
10. Daniele Codetta Raiteri The conversion of dynamic fault trees to stochastic petri nets, as a case of graph transformation Electron Notes Theor Comput Sci 127 2 2005 45 60
11. Coppit David, Sullivan Kevin J., Bechta Dugan Joan. Formal Semantics for computational engineering: a case study on dynamic fault trees. In: Proceedings of 11th international symposium on software reliability engineering (ISSRE'00); 2000. p. 270.
12. David Coppit, Sullivan Kevin J. Sound methods and effective tools for engineering modeling and analysis. In: Proceedings of 25th conference on software engineering ICSE'03, IEEE Computer Society, Portland, OR, USA; 2003. p. 198-07
13. Joanne Bechta Dugan, Salvatore J. Bavuso, and Marks A. Boyd Dynamic fault-tree models for fault-tolerant computer systems IEEE Trans Reliab 41 3 1992 363 377
14. Joshua Dehlinger, Dugan Joanne Bechta. Dynamic event/fault tree analysis of multi-agent systems using Galileo. In: Proceedings Workshop on Integration of Software Engineering and Agent Technologies, 2008: 429-434
15. Guillaume Merle Algebraic modeling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis PhD thesis 2010 LURPA, ENS de Cachan 218
16. Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, and Andrea Bobbio Probabilistic algebraic analysis of fault trees with priority gates and repeated events IEEE Trans Reliab 59 1 2010 250 261
17. Minato S. Zero-suppressed BDDs for set manipulation in combinatorial problems. In: Proceedings of the 30th ACM/IEEE design automation conference, DAC'93; 1993. p. 272-7.
18. Antoine Rauzy Guarded transitions systems: a new states/events formalism for reliability studies J Risk Reliab Professional Eng Publishing 222 4 2008 495 505
19. Prosvirnova Tatiana, Batteux Michel, Brameret Pierre-Antoine, Cherfi Abraham, Friedlhuber Thomas, Roussel Jean-Marc et al. The AltaRica 3.0 project for model-based safety assessment. In: Proceedings of 4th IFAC workshop on dependable control of discrete systems, DCDS'2013. International Federation of Automatic Control, York, Great Britain; September 2013. p. 127-32. 978-3-902823-49-6, 1474-6670.
20. Antoine Rauzy Dynamic fault trees, sequence algebra and sequence diagrams Reliab Eng Syst Saf 96 7 2011 785 792
21. W. Vesely, M. Stamatelatos, J. Dugan, J. Fragola, J. Minarick III, and J. Railsback Fault trees handbook with aerospace applications 2002 NASA Office of Safety and Mission Assurance Version 1.1 1 205