STPA method and device for accurately identifying loss scene

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. 本发明提供了一种准确识别损失场景的STPA方法和装置。该方法包括：确定分析目标，包括确定损失；利用有限状态机生成系统状态机；利用确定的损失和生成的系统状态机，识别不安全控制动作；利用模型检测技术和识别的不安全控制动作识别损失场景。根据本发明的方法利用状态机和模型检测技术，实现了对复杂系统的损失场景的准确且高效的识别。