Title:
METHOD AND DEVICE FOR ANALYZING HAZARD, AND COMPUTER-READABLE RECORDING MEDIUM
Document Type and Number:
WIPO Patent Application WO/2018/074647
Kind Code:
A1
Abstract:
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.
Inventors:
HAN HYUK SOO (KR)
KIM EUN BI (KR)
KIM EUN BI (KR)
Application Number:
PCT/KR2016/012575
Publication Date:
April 26, 2018
Filing Date:
November 03, 2016
Export Citation:
Assignee:
SANGMYUNG UNIV SEOUL INDUSTRY ACADEMY COOPERATION FOUNDATIO (KR)
International Classes:
G06F11/36; B66B5/00
Foreign References:
| KR20110020520A | 2011-03-03 | |||
| US7003766B1 | 2006-02-21 | |||
| KR20090013281A | 2009-02-05 |
Other References:
KIM, MIN WOO: "NuSTPA: A STPA-based safety analysis tool for PPS", THE INSTITUTE OF ELECTRONICS AND INFORMATION ENGINEERS CONFERENCE, April 2016 (2016-04-01), pages 64 - 65
FABIO PATERNO: "Concur Task Trees (CTT)", W3C WORKING GROUP SUBMISSION, 2 February 2012 (2012-02-02), pages 1 - 12, XP055604757
KIM, EUN BI ET AL.: "A Hazard Identification process using STPA based on CTT", PROCEEDINGS OF KIISE CONFERENCE, December 2015 (2015-12-01), pages 511 - 513
KIM, EUN BI: "A Hazard Analysis Process using STPA based on CTT", MASTER'S THESIS OF SANGMYUNG UNIVERSITY GRADUATE SCHOOL, February 2016 (2016-02-01), pages 1 - 48
DO, SUNG RYONG ET AL.: "Hazard Identification and Testcase Design Method based on use case and HAZOP", JOURNAL OF KIISE, vol. 43, no. 6, June 2016 (2016-06-01), pages 662 - 667
FABIO PATERNO: "Concur Task Trees (CTT)", W3C WORKING GROUP SUBMISSION, 2 February 2012 (2012-02-02), pages 1 - 12, XP055604757
KIM, EUN BI ET AL.: "A Hazard Identification process using STPA based on CTT", PROCEEDINGS OF KIISE CONFERENCE, December 2015 (2015-12-01), pages 511 - 513
KIM, EUN BI: "A Hazard Analysis Process using STPA based on CTT", MASTER'S THESIS OF SANGMYUNG UNIVERSITY GRADUATE SCHOOL, February 2016 (2016-02-01), pages 1 - 48
DO, SUNG RYONG ET AL.: "Hazard Identification and Testcase Design Method based on use case and HAZOP", JOURNAL OF KIISE, vol. 43, no. 6, June 2016 (2016-06-01), pages 662 - 667
Attorney, Agent or Firm:
SHINWOO PATENT (KR)
Download PDF: