The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Dec. 03, 2019

Filed:

Nov. 30, 2017
Applicant:

Sangmyung University Seoul Industry-academy Cooperation Foundation, Seoul, KR;

Inventors:

Hyuk Soo Han, Seoul, KR;

EunBi Kim, Seoul, KR;

Attorneys:
Primary Examiner:
Int. Cl.
CPC ...
G05B 9/02 (2006.01); G05B 23/02 (2006.01); G05B 15/02 (2006.01); G08B 21/18 (2006.01); G06F 8/10 (2018.01);
U.S. Cl.
CPC ...
G05B 23/0205 (2013.01); G05B 9/02 (2013.01); G05B 15/02 (2013.01); G06F 8/10 (2013.01); G08B 21/182 (2013.01);
Abstract

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.


Find Patent Forward Citations

Loading…