标题：
An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking
点击次数：
所属单位：
计算机科学与技术学院/人工智能学院/软件学院
发表刊物：
IEEE ACCESS
关键字：
Fault tree fault configuration model checking
摘要：
Fault tree generation technology is a key issue for safety analysis of large complex systems. Traditional safety analysis methods usually describe the origin, propagation, or concrete behavior of the fault and do not portray the constraints between faults. However, these constraints are the system's characteristics, and a lack of expression of these constraints will make the fault model defective, thereby resulting in a fault tree that will reduce the accuracy of the safety analysis. To improve the efficiency and accuracy of safety analysis, this paper proposes a fault tree generation method that is based on fault configuration and introduces the variability management of software product lines to model system faults and perform the formal analysis. First, the fault feature diagram is defined to describe the constraint relationships between system faults, and the fault-labeled transition system is defined based on the Kripke structure to describe the system behavior. Then, based on the model semantics, the procedure for generating fault trees by model checking is established. Finally, using temporal logic to describe the system safety attributes, we adopt the model checking tool SNIP to verify the safety attributes and generate the fault tree automatically. The fault modeling method that is proposed in this paper includes the inherent constraints between faults, which makes the system fault model more realistic and accurate. A case study demonstrates the effectiveness of the proposed method.
ISSN号：
2169-3536
是否译文：
否
发表时间：
2018-01-01
合写作者：
Li, Sijie,魏欧,Huang, Mingyu,朱
通讯作者：
王立松
发表时间：
2018-01-01
学位：工学博士学位
职称：教授
所在单位：计算机科学与技术/人工智能学院，公共实验教学部