Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

27800 Fault trees on a diet: automated reduction by graph rewriting
Home Policy Brochure Browse Search User Area Contact Help

Junges, S. and Guck, D. and Katoen, J.P. and Rensink, A. and Stoelinga, M.I.A. (2017) Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects of Computing, online pre-publication. pp. 1-53. ISSN 0934-5043 *** ISI Impact 0,521 ***

Full text available as:

PDF (Publisher's version)
- Univ. of Twente only
2535 Kb
PDF (Author's version)

1096 Kb

Official URL:


Fault trees are a popular industrial technique for reliability modelling and analysis. Their extension with common reliability patterns, such as spare management, functional dependencies, and sequencing---known as dynamic fault trees (DFTs)---has an adverse effect on scalability, prohibiting the analysis of complex, industrial cases. This paper presents a novel, fully automated reduction technique for DFTs. The key idea is to interpret DFTs as directed graphs and exploit graph rewriting to simplify them. We present a collection of rewrite rules, address their correctness, and give a simple heuristic to determine the order of rewriting. Experiments on a large set of benchmarks show substantial DFT simplifications, yielding state space reductions and timing gains of up to two orders of magnitude.

Item Type:Article
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-General
Research Project:ArRangeer: smARt Railroad maintenance eNGinEERing with stochastic model checking, SENSATION: Self Energy-supporting Autonomous Computation, Samsam: An Integral Safety / Security Analysis Framework, TREsPASS: Technology-supported Risk Estimation By Predictive Assessment Of Socio-technical Security
Additional Information:Foreground = 20% ; Type of activity = Publication; Main leader = UT; Type of audience = Scientific community; Size of audience = n.a.; Countries addressed = International ;
ID Code:27800
Status:Accepted for publication
Deposited On:12 April 2017
ISI Impact Factor:0,521
More Information:statistics

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item