Combining various solution techniques for dynamic fault tree analysis of computer systems

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

doi:10.1109/hase.1998.731591

Cited by 74 publications

(44 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Compared to earlier DFT tools, DFTCalc's input language is more powerful and imposes fewer syntactic restrictions: DFTCalc allows any DFT to be a spare component or a trigger, and not only a BE, as in [16]. This is a big advantage in practice, since spare components and triggers are often complete subsystems.…”

Section: Introductionmentioning

confidence: 99%

DFTCalc: A Tool for Efficient Fault Tree Analysis

Arnold

Belinfante

Berg

et al. 2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Effective risk management is a key to ensure that our nuclear power plants, medical equipment, and power grids are dependable; and it is often required by law. Fault Tree Analysis (FTA) is a widely used methodology here, computing important dependability measures like system reliability. This paper presents DFTCalc, a powerful tool for FTA, providing (1) efficient fault tree modelling via compact representations; (2) effective analysis, allowing a wide range of dependability properties to be analysed (3) efficient analysis, via state-of-the-art stochastic techniques; and (4) a flexible and extensible framework, where gates can easily be changed or added. Technically, DFTCalc is realised via stochastic model checking, an innovative technique offering a wide plethora of powerful analysis techniques, including aggressive compression techniques to keep the underlying state space small.

show abstract

Section: Introductionmentioning

confidence: 99%

DFTCalc: A Tool for Efficient Fault Tree Analysis

Arnold

Belinfante

Berg

et al. 2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

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 I: combinational 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

“…FTA, on the other hand, is a deductive technique; it starts by considering an unintended behavior of the system at hand, and traces it, in a backward reasoning fashion, to the corresponding causes. The COMPASS methodology can automatically generate (dynamic) fault trees [16,24], given an extended model and a property representing the hazard. Furthermore, (dynamic) FMEA tables can be automatically generated, given a set of failure modes (more in general, a set of fault configurations, which may include combinations of different faults) and a set of properties.…”

Section: Verification Of Safety/dependability Aspectsmentioning

confidence: 99%

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems

Bozzano

Cimatti

Katoen

et al. 2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract.We report on a model-based approach to system-software coengineering which is tailored to the specific characteristics of critical onboard systems for the aerospace domain. The approach is supported by a System-Level Integrated Modeling (SLIM) Language by which engineers are provided with convenient ways to describe nominal hardware and software operation, (probabilistic) faults and their propagation, error recovery, and degraded modes of operation.Correctness properties, safety guarantees, and performance and dependability requirements are given using property patterns which act as parameterized "templates" to the engineers and thus offer a comprehensible and easy-to-use framework for requirement specification. Instantiated properties are checked on the SLIM specification using state-of-the-art formal analysis techniques such as bounded SAT-based and symbolic model checking, and probabilistic variants thereof. The precise nature of these techniques together with the formal SLIM semantics yield a trustworthy modeling and analysis framework for system and software engineers supporting, among others, automated derivation of dynamic (i.e., randomly timed) fault trees, FMEA tables, assessment of FDIR, and automated derivation of observability requirements.

show abstract

Combining various solution techniques for dynamic fault tree analysis of computer systems

Cited by 74 publications

References 16 publications

DFTCalc: A Tool for Efficient Fault Tree Analysis

DFTCalc: A Tool for Efficient Fault Tree Analysis

The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems

Contact Info

Product

Resources

About