Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2009.11a
- /
- Pages.879-880
- /
- 2009
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
A Framework for the development of railway signaling systems using templates
템플레이트를 이용한 철도제어시스템 정형명세 개발 프레임워크
- Lee, Jeanho (Dept. of Computer Science, Korea University) ;
- Choi, Jin-young (Dept. of Computer Science, Korea University) ;
- Yoon, Yongki (Korea Railway Research Institute)
- Published : 2009.11.13
Abstract
안전필수시스템인 철도제어시스템은 고신뢰성과 고품질을 위해 국제표준에 의해 정형기법의 사용이 요구되고 있다. 시스템 개발 생명주기에서 요구사항 명세와 검증, 설계 명세와 검증단계에서 정형기법이 사용된다. 본 논문에서는 요구사항 명세 및 검증단계에서의 정형기법 사용을 목적으로, 정형요구명세 개발을 위한 템플레이트를 제안하고 이를 이용한 개발 프레임워크를 제안한다.
Keywords