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.


    Access

    Download


    Export, share and cite



    Title :

    Method and apparatus for analyzing hazard of elevator control software, and computer readable recording medium


    Contributors:
    HAN HYUK SOO (author) / KIM EUNBI (author)

    Publication date :

    2018-04-24


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    IPC:    G05D SYSTEMS FOR CONTROLLING OR REGULATING NON-ELECTRIC VARIABLES , Systeme zum Steuern oder Regeln nichtelektrischer veränderlicher Größen / B64C AEROPLANES , Flugzeuge / G06F ELECTRIC DIGITAL DATA PROCESSING , Elektrische digitale Datenverarbeitung





    METHOD AND APPARATUS FOR ANALYZING HAZARD AND COMPUTER READABLE RECORDING MEDIUM

    HAN HYUK SOO / KIM EUN BI | European Patent Office | 2017

    Free access

    METHOD AND DEVICE FOR ANALYZING HAZARD, AND COMPUTER-READABLE RECORDING MEDIUM

    HAN HYUK SOO / KIM EUN BI | European Patent Office | 2018

    Free access

    ELEVATOR CONTROL APPARATUS, ELEVATOR CONTROL METHOD, AND COMPUTER READABLE MEDIUM

    IZAWA TETSUMI / MINAKI SO | European Patent Office | 2023

    Free access