1 |
1
컴퓨터에 의해 수행되며, 엘리베이터 소프트웨어 제어 시스템의 위험(hazard) 분석 방법으로서,엘리베이터의 구조는 외부와 내부로 구분되고, 엘리베이터 외부에는 엘리베이터를 호출하기 위한 호출 버튼(Summon Button)이 존재하며, 호출 버튼은 위로 버튼(Up Button)과 아래로 버튼(Down Button)으로 구성되고, 엘리베이터 내부는 승강기 탑승객들이 실제로 탑승하는 승강기(Car)와 승강기의 문(Door)로 구성되며, 승강기에는 목적 층으로 가기 위한 목적 층 요청 버튼(Floor Request Button)과 문을 열고 닫기 위한 열림 버튼(Open Button) 및 닫힘 버튼(Close Button)으로 구성되며, 상기 시스템의 속성 및 기능 요구사항들을 식별하는 단계; 상기 식별된 속성 및 기능 요구사항들에 기초하여, 상기 시스템의 태스크들을 분석하는 단계;상기 분석된 태스크들에 대해, 상기 태스크들 간의 관계를 CTT(Concur Task Tree) 표기법에 따라 명세하는 단계 - 상기 표기법은 상기 태스크들 간의 제어 흐름의 계층적 관계를 보여줌 -; 및상기 명세에 기초하여, STPA(System Theoretic Process Analysis) 위험 분석 기법에 따라 상기 시스템에 관한 하나 이상의 위험을 식별하는 단계를 포함하고, 상기 하나 이상의 위험을 식별하는 단계는, CTT 기반의 STPA 가이드 단어의 맵핑 테이블을 활용하는 단계를 포함하는 엘리베이터 소프트웨어 제어 시스템의 위험 분석 방법
|
2 |
2
제1항에 있어서,상기 시스템의 속성 및 기능 요구사항들을 식별하는 단계는, 상기 속성 및 기능 요구사항들에 관한 유스케이스 다이어그램을 작성하는 단계를 포함하는, 엘리베이터 소프트웨어 제어 시스템의 위험 분석 방법
|
3 |
3
삭제
|
4 |
4
제2항에 있어서, 상기 방법은, 상기 식별된 속성 및 기능 요구사항들에 기초하여, 상기 시스템의 제어 구조도를 작성하는 단계를 더 포함하는, 엘리베이터 소프트웨어 제어 시스템의 위험 분석 방법
|
5 |
5
삭제
|
6 |
6
제1항에 있어서,상기 CTT 기반의 STPA 가이드 단어의 맵핑 테이블은, 상기 CTT 표기법에 의해서 정의된 태스크들 간 관계 각각에 대해 상기 STPA에 의해 정의된 가이드 단어를 맵핑한 것인, 엘리베이터 소프트웨어 제어 시스템의 위험 분석 방법
|
7 |
7
컴퓨터에 의해 수행되며, 엘리베이터 소프트웨어 제어 시스템의 위험(hazard) 분석 방법으로서,엘리베이터의 구조는 외부와 내부로 구분되고, 엘리베이터 외부에는 엘리베이터를 호출하기 위한 호출 버튼(Summon Button)이 존재하며, 호출 버튼은 위로 버튼(Up Button)과 아래로 버튼(Down Button)으로 구성되고, 엘리베이터 내부는 승강기 탑승객들이 실제로 탑승하는 승강기(Car)와 승강기의 문(Door)로 구성되며, 승강기에는 목적 층으로 가기 위한 목적 층 요청 버튼(Floor Request Button)과 문을 열고 닫기 위한 열림 버튼(Open Button) 및 닫힘 버튼(Close Button)으로 구성되며, 엘리베이터 승강기에 부과되는 하중을 측정하기 위한 하중 측정 센서(Load Sensor)가 포함하고,상기 시스템의 속성 및 기능 요구사항들을 식별하는 단계; 상기 식별된 속성 및 기능 요구사항들에 기초하여, 상기 시스템의 태스크들을 분석하는 단계;상기 분석된 태스크들에 대해, 상기 태스크들 간의 관계를 CTT(Concur Task Tree) 표기법에 따라 명세하는 단계 - 상기 표기법은 상기 태스크들 간의 제어 흐름의 계층적 관계를 보여줌 -;상기 명세에 기초하여, STPA(System Theoretic Process Analysis) 분석 기법에 따라 상기 시스템에 관한 하나 이상의 위험을 식별하는 단계; 및상기 식별된 위험에 기초하여, 상기 시스템에 관한 안전성 제약사항을 작성하는 단계를 포함하는, 엘리베이터 소프트웨어 제어 시스템의 위험 분석 방법
|
8 |
8
삭제
|
9 |
9
제7항에 있어서, 상기 CTT(Concur Task Tree) 표기법은 여러 태스크들의 상위 태스크인 추상 태스크, 사용자에 의해 수행되는 사용자 태스크, 시스템에 의해 수행되는 애플리케이션 태스크, 및 사용자와 시스템의 상호작용으로 수행되는 상호작용 태스크를 포함하는, 엘리베이터 소프트웨어 제어 시스템의 위험 분석 방법
|
10 |
10
제9항에 있어서, 상기 추상 태스크는 승강기 호출(Summon Car), 탑승(Boarding), 목적 층으로의 승강기 이동(Take Car to Destination Floor), 및 부하 하중(Load Weight)을 포함하고, 상기 상호작용 태스크는 호출 버튼 누름(Pressed Summon Button), 목적 층 요청 버튼 누름(Pressed Floor Request Button), 및 문 홀드(Hold Doors)를 포함하고, 상기 애플리케이션 태스크는 승강기 위치 검출(Detect Car Position), 거리 계산(Calculate Distance), 승강기 이동(Move Car), 승강기 멈춤(Stop Car), 문 열림(Open Doors), 변경 하중 확인(Check Changed Weight), 알람 울림(Ring Alarm) 및 문 닫힘(Close Door)을 포함하고, 상기 사용자 태스크는 승강기에 탐(Get into Car) 및 승강기에서 내림(Get off Car)을 포함하는, 엘리베이터 소프트웨어 제어 시스템의 위험 분석 방법
|
11 |
11
STPA에 기초하여, 엘리베이터 소프트웨어 제어 시스템의 위험을 분석하는 장치로서,엘리베이터의 구조는 외부와 내부로 구분되고, 엘리베이터 외부에는 엘리베이터를 호출하기 위한 호출 버튼(Summon Button)이 존재하며, 호출 버튼은 위로 버튼(Up Button)과 아래로 버튼(Down Button)으로 구성되고, 엘리베이터 내부는 승강기 탑승객들이 실제로 탑승하는 승강기(Car)와 승강기의 문(Door)로 구성되며, 승강기에는 목적 층으로 가기 위한 목적 층 요청 버튼(Floor Request Button)과 문을 열고 닫기 위한 열림 버튼(Open Button) 및 닫힘 버튼(Close Button)으로 구성되며, 상기 시스템의 속성 및 기능 요구사항들을 식별하도록 구성된 요구사항 식별부;상기 식별된 속성 및 기능 요구사항들에 기초하여, 상기 시스템의 태스크들을 분석하도록 구성된 태스크 분석부;상기 분석된 태스크들에 대해, 상기 태스크들 간의 관계를 CTT(Concur Task Tree) 표기법에 따라 명세하도록 구성된 태스크 관계 명세부 - 상기 CTT 표기법은 상기 태스크들 간의 제어 흐름의 계층적 관계를 보여줌 -; 상기 명세에 기초하여, 상기 시스템에 관한 하나 이상의 위험을 식별하도록 구성된 위험 식별부; 및상기 식별된 위험에 기초하여, 상기 시스템에 관한 안전성 제약사항을 작성하도록 구성된 안전성 제약사항 작성부를 포함하고, 상기 시스템의 속성 및 기능 요구사항들을 식별하는 상기 요구사항 식별부는, 상기 속성 및 기능 요구사항들에 관한 유스케이스 다이어그램을 작성하도록 더 구성되는, 엘리베이터 소프트웨어 제어 시스템의 위험 분석 장치
|
12 |
12
삭제
|
13 |
13
삭제
|
14 |
14
제11항에 있어서,상기 CTT(Concur Task Tree) 표기법은 여러 태스크들의 상위 태스크인 추상 태스크, 사용자에 의해 수행되는 사용자 태스크, 시스템에 의해 수행되는 애플리케이션 태스크, 및 사용자와 시스템의 상호작용으로 수행되는 상호작용 태스크를 포함하는, 엘리베이터 소프트웨어 제어 시스템의 위험 분석 장치
|
15 |
15
제14항에 있어서, 상기 추상 태스크는 승강기 호출(Summon Car), 탑승(Boarding), 목적 층으로의 승강기 이동(Take Car to Destination Floor), 및 부하 하중(Load Weight)을 포함하고, 상기 상호작용 태스크는 호출 버튼 누름(Pressed Summon Button), 목적 층 요청 버튼 누름(Pressed Floor Request Button), 및 문 홀드(Hold Doors)를 포함하고, 상기 애플리케이션 태스크는 승강기 위치 검출(Detect Car Position), 거리 계산(Calculate Distance), 승강기 이동(Move Car), 승강기 멈춤(Stop Car), 문 열림(Open Doors), 변경 하중 확인(Check Changed Weight), 알람 울림(Ring Alarm) 및 문 닫힘(Close Door)을 포함하고, 상기 사용자 태스크는 승강기에 탐(Get into Car) 및 승강기에서 내림(Get off Car)을 포함하는, 엘리베이터 소프트웨어 제어 시스템의 위험 분석 장치
|
16 |
16
하나 이상의 명령어가 기록된 컴퓨터 판독가능 기록 매체로서,상기 하나 이상의 명령어는, 컴퓨터에 의해 실행되는 경우, 상기 컴퓨터가 하여금, 제1항, 제2항, 제4항, 제6항, 제7항, 제9항, 제10항 중 어느 한 항에 따른 방법이 구현되도록 동작하게 하는, 컴퓨터 판독가능 기록 매체
|