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 de risque d'un système de commande par logiciel, le procédé étant basé 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 consistant à : identifier des propriétés et des exigences fonctionnelles d'un système ; analyser 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écifier 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 ; identifier au moins un risque associé au système sur la base de la spécification ; et créer des contraintes de sécurité associées au système sur la base du risque identifié.
컴퓨터에 의해 수행되며, STPA(System Theoretic Process Analysis)에 기초한, 소프트웨어 제어 시스템의 위험(hazard) 분석 방법이 제공된다. 본 발명의 방법은, 시스템의 속성 및 기능 요구사항들을 식별하는 단계; 식별된 속성 및 기능 요구사항들에 기초하여, 시스템의 태스크들을 분석하는 단계; 분석된 태스크들에 대해, 태스크들 간의 관계를 소정의 표기법에 따라 명세하는 단계 - 소정의 표기법은 태스크들 간의 제어 흐름의 계층적 관계를 보여줌 -; 명세에 기초하여, 시스템에 관한 하나 이상의 위험을 식별하는 단계; 및 식별된 위험에 기초하여, 시스템에 관한 안전성 제약사항을 작성하는 단계를 포함한다.
METHOD AND DEVICE FOR ANALYZING HAZARD, AND COMPUTER-READABLE RECORDING MEDIUM
PROCÉDÉ ET DISPOSITIF D'ANALYSE DE RISQUE, ET SUPPORT D'ENREGISTREMENT LISIBLE PAR ORDINATEUR
위험 분석 방법 및 장치, 컴퓨터 판독가능 기록 매체
2018-04-26
Patent
Electronic Resource
Korean
METHOD AND APPARATUS FOR ANALYZING HAZARD AND COMPUTER READABLE RECORDING MEDIUM
European Patent Office | 2017
|European Patent Office | 2018
|European Patent Office | 2017
|European Patent Office | 2018
|COMPUTER-READABLE RECORDING MEDIUM THEREON A COMPUTER PROGRAM FOR FLOOD HAZARD QUICK NOTIFICATION
European Patent Office | 2024
|