The Galileo fault tree analysis tool

Sullivan, Kevin; Dugan, J.B.; Coppit, David

doi:10.1109/ftcs.1999.781056

Cited by 143 publications

(72 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this way, the state space analysis is limited to the first class of modules. The software tool Galileo [8] exploits this technique.…”

Section: Fault Tree Extensionsmentioning

confidence: 99%

Integrating several formalisms in order to increase Fault Trees' modeling power

Codetta‐Raiteri

2011

Reliability Engineering & System Safety

View full text Add to dashboard Cite

The Fault Tree (FT) is a widespread model in the field of Reliability, but its modeling power is very limited. Therefore several FT extensions have been proposed in the literature, each introducing particular modeling primitives, but in a separate way. In this paper, we integrate the primitives coming from three relevant FT extensions (Parametric, Dynamic, and Repairable FT), into the formalism called Generalized FT (GFT). We define each primitive in such a way that it can be combined with any other one. This allows to compactly represent redundancies and symmetries of the system structure, set several kinds of dependency among the events, and model repair processes, in the same model. The paper provides also an analysis process for GFT models based on the modular approach. In particular, we provide the conditions to detect modules, considering the presence of all the primitives. Besides modules, we exploit the parametric form also at the solution level, with the aim of reducing the cost of analysis.

show abstract

“…In this way, the state space analysis is limited to the first class of modules. The software tool Galileo [8] exploits this technique.…”

Section: Fault Tree Extensionsmentioning

confidence: 99%

Integrating several formalisms in order to increase Fault Trees' modeling power

Codetta‐Raiteri

2011

Reliability Engineering & System Safety

View full text Add to dashboard Cite

show abstract

“…Note that no notion of causality is included. Tool support for FTAs in Galileo is presented in [33]; underlying algorithms are described in [34].…”

Section: A Fault Tree Automaton Constructionmentioning

confidence: 99%

Uncovering Dynamic Fault Trees

Junges

Guck

Katoen

et al. 2016

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

View full text Add to dashboard Cite

Abstract-Fault tree analysis is a widespread industry standard for assessing system reliability. Standard (static) fault trees model the failure behaviour of systems in dependence of their component failures. To overcome their limited expressive power, common dependability patterns, such as spare management, functional dependencies, and sequencing are considered. A plethora of such dynamic fault trees (DFTs) have been defined in the literature. They differ in e.g., the types of gates (elements), their meaning, expressive power, the way in which failures propagate, how elements are claimed and activated, and how spare races are resolved. This paper systematically uncovers these differences and categorises existing DFT variants. As these differences may have huge impact on the reliability assessment, awareness of these impacts is important when using DFT modelling and analysis.

show abstract

“…These approaches are mostly concerned with the problem of fault tree evaluation, whereas our focus was on automatic synthesis. Also concerned with fault tree evaluation is DIFTree [MDCS98], a methodology for the analysis of dynamic fault trees, implemented in the Galileo tool [SDC99]. It uses a modularisation technique [DR96] to identify (in linear time) independent sub-trees, that can be evaluated using the most appropriate techniques (BDD-based techniques for static fault trees, Markov techniques or Monte Carlo simulation for dynamic ones).…”

Section: Related Workmentioning

confidence: 99%

The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits

Banach

Bozzano

2013

Form. Asp. Comput.

View full text Add to dashboard Cite

Abstract. The manual construction of fault trees for complex systems is an error-prone and time-consuming activity, encouraging automated techniques. In this paper we show how the retrenchment approach to formal system model evolution can be developed into a versatile structured approach for the mechanical construction of fault trees. The system structure and the structure of retrenchment concessions interact to generate fault trees with appropriately deep nesting. We show how this approach can be extended to deal with minimisation, thereby diminishing the post hoc subsumption workload and potentially rendering some infeasible cases feasible.

show abstract

The Galileo fault tree analysis tool

Cited by 143 publications

References 7 publications

Integrating several formalisms in order to increase Fault Trees' modeling power

Integrating several formalisms in order to increase Fault Trees' modeling power

Uncovering Dynamic Fault Trees

The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits

Contact Info

Product

Resources

About