Provided is a method for analyzing a hazard of a software control system, the method being based on system theoretic process analysis (STPA) and executed by a computer. The method, according to the present invention, comprises the steps of: identifying properties and functional requirements of a system; analyzing tasks of the system on the basis of the identified properties and functional requirements; for the analyzed tasks, specifying a relationship among the tasks according to a predetermined notation, wherein the predetermined notation shows a hierarchical relationship of a control flow among the tasks; identifying at least one hazard associated with the system on the basis of the specification; and creating safety constraints associated with the system on the basis of the identified hazard.

    L'invention concerne un procédé d'analyse d'un risque d'un système de commande par logiciel, le procédé étant fondé sur une analyse de traitement théorique de système (STPA) et étant exécuté par un ordinateur. Le procédé, selon la présente invention, comprend les étapes suivantes : identification des propriétés et des exigences fonctionnelles d'un système ; analyse des tâches du système sur la base des propriétés et des exigences fonctionnelles identifiées ; pour les tâches analysées, spécification d'une relation entre les tâches conformément à une notation prédéfinie, la notation prédéfinie représentant une relation hiérarchique d'un flux de commande entre les tâches ; identification d'au moins un risque associé au système sur la base de la spécification ; et création des contraintes de sécurité associées au système sur la base du risque identifié.

    컴퓨터에 의해 수행되며, STPA(System Theoretic Process Analysis)에 기초한, 소프트웨어 제어 시스템의 위험(hazard) 분석 방법이 제공된다. 본 발명의 방법은, 시스템의 속성 및 기능 요구사항들을 식별하는 단계; 식별된 속성 및 기능 요구사항들에 기초하여, 시스템의 태스크들을 분석하는 단계; 분석된 태스크들에 대해, 태스크들 간의 관계를 소정의 표기법에 따라 명세하는 단계 - 소정의 표기법은 태스크들 간의 제어 흐름의 계층적 관계를 보여줌 -; 명세에 기초하여, 시스템에 관한 하나 이상의 위험을 식별하는 단계; 및 식별된 위험에 기초하여, 시스템에 관한 안전성 제약사항을 작성하는 단계를 포함한다.


    Access

    Download


    Export, share and cite



    Title :

    METHOD AND DEVICE FOR ANALYZING HAZARD OF ELEVATOR CONTROL SOFTWARE, AND COMPUTER-READABLE RECORDING MEDIUM


    Additional title:

    PROCÉDÉ ET DISPOSITIF D'ANALYSE DE RISQUE DE LOGICIEL DE COMMANDE D'ASCENSEUR, ET SUPPORT D'ENREGISTREMENT LISIBLE PAR ORDINATEUR
    엘리베이터 제어 소프트웨어의 위험 분석 방법 및 장치, 컴퓨터 판독가능 기록 매체


    Contributors:
    HAN HYUK SOO (author) / KIM EUN BI (author)

    Publication date :

    2018-04-26


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    Korean


    Classification :

    IPC:    B66B Aufzüge , ELEVATORS / G06F ELECTRIC DIGITAL DATA PROCESSING , Elektrische digitale Datenverarbeitung





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

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

    Free access

    METHOD AND APPARATUS FOR ANALYZING HAZARD AND COMPUTER READABLE RECORDING MEDIUM

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

    Free access