Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2010.06b
- /
- Pages.148-152
- /
- 2010
- /
- 1598-5164(pISSN)
Design Patterns for the Design of Safety-Critical Systems
안전 필수 시스템 설계를 위한 디자인 패턴
-
Lee, Jean-Ho
(Dept. Computer Science, Korea University) ;
-
Lee, Hyuk
(Dept. Computer Science, Korea University) ;
-
Yoon, Yong-Ki
(Korea Railway Research Institute) ;
-
Choi, Jin-Young
(Dept. Computer Science, Korea University)
- Published : 2010.06.30
Abstract
열차제어 시스템은 안전필수 시스템으로 고신뢰성과 고품질이 요구되고 있다. 열차 제어 시스템 개발 과정에서 요구 사항 분석에 따라 결정되는 설계 사항의 경우 여러가지 요소들이 고려된다. 본 논문에서는 정형 요구 명세와 검증을 거쳐 제안된 설계 사항들을 하나의 패턴으로 정의하고, 시스템 개발 주기를 고려한 안전필수 시스템 설계단계에서 활용하는 프레임워크를 제안한다.
Keywords