상세 보기
초록
철도 제어 시스템은 대표적인 안전필수 시스템이다. 국제 규격의 컴퓨터 기반의 철도 제어 시스템을 개발하기 위해서 정형 기법을 이용한 요구사항 명세와 검증이 요구된다. 본 논문에서는 정형 기법을 사용하여 요구사항 명세를 작성하는 지침서(guideline)을 개발하고, 컴퓨터 기반의 열차 제어 장치 시스템에 대한 실제 적용 사례를 제시한다. 정형 명세를 위해 상태차트(statechart)와 Z를 사용하고, 정형 명세의 일치성(consistency)과 완전성(completeness)을 검증한다.
키워드
formal specification; requirements engineering; consistency; completeness; railway control system; statechart; Z; IEC 61508; IEC 62279; 정형명세; 요구사항 공학; 일치성; 완전성; 철도제어 시스템; 상태차트; 제드; IEC 61508; IEC 62279
- 제목
- 안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성
- 제목 (타언어)
- Development of the Formal Requirements Specification of the Safety-critical Railway Systems
- 저자
- 이진호; 황대영; 김진현; 박준길; 최진영; 황종규; 윤용기; 조현정
- 발행일
- 2008-12
- 저널명
- 정보과학회논문지 : 소프트웨어 및 응용
- 권
- 35
- 호
- 12
- 페이지
- 731 ~ 740
- 언어
- KOR
- 출판사
- 한국정보과학회
- 발행국가
- 대한민국
- 분량
- 10 페이지
- ISSN
- P 1229-6848