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)
ISBN: 979-8-3503-5608-3
URI: https://ieeexplore.ieee.org/document/10772497
DOI: 10.1109/SRSE63568.2024.10772497
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.
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