公开(公告)号：KR101873340B1

公开(公告)日：2018-07-02

申请号：KR1020170049133

申请日：2017-04-17

Applicant: 아주대학교산학협력단

Inventor： 이석원 ,  김선주

IPC: G06Q50/26 ,  B66B5/00 ,  G06Q10/06

CPC classification number: G06Q50/265 ,  B66B5/00 ,  G06Q10/063 ,  G06Q10/10

Abstract: 본실시예들은제어시스템의도메인요소를분석하여기능요구사항을추출하고, 제어시스템에관한복수의태스크를분석하고, 기능요구사항및 기정의된불안전한제어명령유형에기반하여복수의태스크간의상호작용에관한위험요소를식별하고, 위험요소에관한안정성요구사항을생성하여안전성요구사항체크리스트를생성함으로써, 시스템상호간의문제나인적오류등의잠재적인위험요소를요구사항을도출하는단계에서미리파악하여시스템의안전에특화된안전성요구사항을도출할수 있는안전성요구사항체크리스트생성방법및 장치를제공한다.