A Heuristic Variable Ordering Approach for Fault Tree Conversion to Binary Decision Diagram

Dibaei Asl M, Hielscher KS, German R (2024)


Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2024

Conference Proceedings Title: International Conference on System Reliability and Safety Engineering (SRSE)

Event location: Hangzhou CN

ISBN: 979-8-3503-5608-3

URI: https://ieeexplore.ieee.org/document/10772497

DOI: 10.1109/SRSE63568.2024.10772497

Abstract

Various methods have been introduced and developed to analyze fault tree diagrams. One of the interesting methods is fault tree conversion to Binary Decision Diagram (BDD). However, the conversion process of fault tree to BDD is challenging, and the variable ordering method plays an important role, as it can reduce the size of the generated BDD. This study proposes a new variable ordering strategy regarding the infix notation of the Boolean function which describes the top event in the fault tree. To evaluate the proposed approach, we have compared it with several similar studies regarding generated BDD size. Moreover, we have conducted comprehensive tests on several fault trees of the FFORT benchmark. Experimental results show that the proposed method is efficient for reducing the complexity of generated BDDs.

Authors with CRIS profile

How to cite

APA:

Dibaei Asl, M., Hielscher, K.-S., & German, R. (2024). A Heuristic Variable Ordering Approach for Fault Tree Conversion to Binary Decision Diagram. In International Conference on System Reliability and Safety Engineering (SRSE). Hangzhou, CN.

MLA:

Dibaei Asl, Mahdi, Kai-Steffen Hielscher, and Reinhard German. "A Heuristic Variable Ordering Approach for Fault Tree Conversion to Binary Decision Diagram." Proceedings of the 6th International Conference on System Reliability and Safety Engineering (SRSE), Hangzhou 2024.

BibTeX: Download