STPA method and device for accurately identifying loss scene

Abstract

The invention provides an STPA method and device for accurately identifying a loss scene. The method includes determining an analysis target, including determining loss; generating a system state machine by using the finite-state machine; identifying an unsafe control action by using the determined loss and the generated system state machine; and identifying a loss scene by using a model detection technology and the identified unsafe control action. According to the method disclosed by the invention, accurate and efficient identification of the loss scene of the complex system is realized by utilizing a state machine and a model detection technology.

Description

technical field [0001] The invention relates to the field of system security analysis, in particular to an STPA method and device for accurately identifying system loss scenarios. The invention is particularly suitable for safety analysis of complex engineering systems such as traffic, aviation, aerospace, nuclear power and the like. Background technique [0002] Accurate and efficient security analysis of the system has always been the research direction of the engineering system security analysis industry. Especially with the rapid development of large and complex systems such as transportation, transportation, marine transportation, aerospace and other fields, efficient and accurate safety analysis and diagnosis for such complex large systems has become an urgent research and solution topic. [0003] In the past, the conventional safety theory believed that the physical failure of the system was the index of system safety. Physical failure means that the accident is caus...

AI Technical Summary

Problems solved by technology

If the model is built according to the requirements of "STPA Handbook", it means that the system model needs to be rebuilt, which will not only increase the workload, but more importantly, the refactoring of the system model may bring about semantic changes, which will affect the reliability of STPA analysis

[0022] In addition, the modeling method provided by "STPA Handbook" only reflects the static input and output relationship between components, and lacks a description of the dynamic behavior between components, so it does not have the support to identify loss scenarios in the dynamic emergent behavior of the system ability

[0023] 2. There are problems in loss scene recognition

This makes it difficult to identify hazardous scenarios involving the interaction of all parts of the system

[0028] 3. The concept of UCA used in scene recognition is confused

The STPA method in the "STPA Handbook" mistakenly regards the CA output by the controller as a UCA component when identifying the loss scene, which leads to confusion in its UCA scene recognition work

[0036] Based on the above reasons, the traditional STPA method for system security analysis has the problems of inaccurate identification and analysis of loss scenarios, low efficiency and even wrong identification.

Images