EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


27651 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. ISSN 0934-5043 *** ISI Impact 0,521 ***

Full text available as:

PDF
- Univ. of Twente only
2329 Kb

Official URL: http://dx.doi.org/10.1007/s00165-016-0412-0

Abstract

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
ID Code:27651
Status:Online pre-publication
Deposited On:15 March 2017
Refereed:Yes
International:Yes
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