Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2009.11a
  • /
  • Pages.879-880
  • /
  • 2009
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

A Framework for the development of railway signaling systems using templates

템플레이트를 이용한 철도제어시스템 정형명세 개발 프레임워크

  • Published : 2009.11.13
Download PDF
⟨ Previous Next ⟩

Abstract

안전필수시스템인 철도제어시스템은 고신뢰성과 고품질을 위해 국제표준에 의해 정형기법의 사용이 요구되고 있다. 시스템 개발 생명주기에서 요구사항 명세와 검증, 설계 명세와 검증단계에서 정형기법이 사용된다. 본 논문에서는 요구사항 명세 및 검증단계에서의 정형기법 사용을 목적으로, 정형요구명세 개발을 위한 템플레이트를 제안하고 이를 이용한 개발 프레임워크를 제안한다.

Keywords