DIFtree: A software package for the analysis of dynamic fault tree models. Several advances in fault tree models have been developed as an aid in the analysis of computer systems. Such advances include the ability to model sequence dependencies, the application of fault trees to the analysis of hardware and software fault tolerant systems, the ability to include details of the recovery process in the fault tree solution, and the use of modularization and binary decision diagrams as an aid in solution. In this paper we present a software package (DIFtree) that implements these advances into a single methodology that can solve both dynamic and static fault trees, and which is applicable to the analysis of hardware, software and humanware in complex computer-based systems.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle: Fault trees on a diet: automated reduction by graph rewriting (2017)
- Ruijters, Enno; Stoelinga, Mariëlle: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools (2015)
- Boudali, Hichem; Crouzen, Pepijn; Stoelinga, Mariëlle: A compositional semantics for dynamic fault trees in terms of interactive Markov chains (2007)
- Greiner, David; Galván, Blas; Winter, Gabriel: Safety systems optimum design by multicriteria evolutionary algorithms (2003)