Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2008.06b
- /
- Pages.114-118
- /
- 2008
- /
- 1598-5164(pISSN)
Specification of Requirements of Railroad Control System using Statechart
상태차트를 이용한 철도제어시스템 요구사항 명세
-
Lee, Hyuk
(Korea University)
;
-
Hwang, Dae-Yon
(Korea University)
;
-
Yoon, Yong-Ki
(Korea Railroad Research Institute (KRRI))
;
-
Hwang, Jong-Gyu
(Korea Railroad Research Institute (KRRI))
;
- Jo, Hyun-Jeong (Korea Railroad Research Institute (KRRI)) ;
-
Choi, Jin-Young
(Korea University)
- Published : 2008.06.30
Abstract
시스템 운영 중에 오류가 발생하면 치명적인 인적, 물적 피해를 초래하는 안전필수 시스템은 안전성과 신뢰성을 확보하기 위한 요구명세의 정형적인 명세와 검증이 요구된다. 철도 차량의 진로와 속도를 제어하는 철도제어 시스템은 안전필수 시스템임에도 불구하고 요구사항이 자연어로 표현되어 있다. 자연어로 명세 된 요구사항은 자연어의 모호한 특성으로 인하여 오류의 위험으로부터 안전하지 못하다. 본 논문에서는 자연어로 명세 되어있는 철도제어 시스템의 요구사항을 도식적인 설계언어인 상태차트(Statechart)를 이용하여 정형적으로 명세함으로써 철도제어 시스템의 안전성과 신뢰성을 향상하고자 한다.
Keywords