A method of analyzing a hazard of a software control system which is operated by a computer and based on STPA (System Theoretic Process Analysis) is provided. The method includes determining an attribute and function demands of the system, analyzing tasks of the system based on the determined attribute and the function demands, generating specification of a relation between the tasks using CTT (Concur Task Tree) method, the CTT method representing a hierarchical relation of a control flow between the tasks, determining at least one of the hazard of the system based on the specification and generating a safety constraint of the system based on the determined hazard. The determining at least one of the hazard of the system uses a guide word mapping table of CTT based STPA.
Method and apparatus for analyzing hazard of elevator control software, and computer readable recording medium
2018-04-24
Patent
Electronic Resource
English
European Patent Office | 2017
|European Patent Office | 2018
|METHOD AND APPARATUS FOR ANALYZING HAZARD AND COMPUTER READABLE RECORDING MEDIUM
European Patent Office | 2017
|METHOD AND DEVICE FOR ANALYZING HAZARD, AND COMPUTER-READABLE RECORDING MEDIUM
European Patent Office | 2018
|ELEVATOR CONTROL APPARATUS, ELEVATOR CONTROL METHOD, AND COMPUTER READABLE MEDIUM
European Patent Office | 2023
|