Characteristic configuration-based fault tree generation method

Abstract

The invention discloses a characteristic configuration-based fault tree generation method. The method comprises the following steps: introducing the variable modeling of software product lines into the safety analysis process, and utilizing a characteristic model as a system fault structural model to depict the hierarchical and restriction relationships of the faults; proposing a fault labeled transition system (FLTS) for the expanding of state transition and using the FLTS as a system fault behavior model; defining the process of generating the fault tree by utilizing model detection on the basis of the semantic of the FLTS; and finally realizing the method of generating the fault tree on the basis of fault configuration by utilizing an existing software product line model detector. According to the method provided by the invention, the characteristic model is utilized to depict the system static hierarchical structure, the subordination relationship between the faults and components as well as the restriction relationship among the faults; and by utilizing the characteristics of the software product line model detection, all the cut sets of specific safety attributes can found on the basis of a system model, so that the fault tree generation efficiency and correctness are improved.

Description

technical field [0001] The invention discloses a fault tree generation method based on feature configuration, and relates to the technical field of safety analysis of safety-critical systems. Background technique [0002] The safety of safety-critical systems such as aviation and nuclear power has been paid more and more attention. System security analysis is the core content of system security engineering, and it is the basis of security assessment. The main purpose of system security analysis is to understand and find out the dangers of the system, ensure that the system meets the specified security requirements, and provide a basis for security assessment. The main content of system safety analysis is to study the system behavior when some system components are in abnormal working state due to faults. [0003] Fault Tree Analysis (FaultTreeAnalysis, FTA) is one of the most common security analysis techniques, it is a top-down deductive analysis system design and reliabi...

AI Technical Summary

Problems solved by technology

[0008] The technical problem to be solved by the present invention is: aiming at the high cost of the traditional fault tree generation method and the inability to cope with the defects of huge system scale and high system complexity, as well as the shortcomings of the existing model-based fault tree generation method, to provide a method based on detection Fault Tree Generation Method Based on Fault Signature Configuration

Images