안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성

이진호; 황대연; 김진현; 박준길; Jeanho Lee; Daeyon Hwang; Jinhyun Kim; Junkil Park; 최진영; 황종규; 윤용기; 조현정; Jin-Young Choi; Jong-Gyu Hwang; Yong-Ki Yoon; Hyun-Jeong Jo

연구문헌

국내 논문지

홈 > 연구문헌 > 국내 논문지 > 한국정보과학회 논문지 > 정보과학회 논문지 B : 소프트웨어 및 응용

정보과학회 논문지 B : 소프트웨어 및 응용

Current Result Document :

한글제목(Korean Title)	안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성
영문제목(English Title)	Development of the Formal Requirements Specification of the Safety-critical Railway Systems
저자(Author)	이진호 황대연 김진현 박준길 Jeanho Lee Daeyon Hwang Jinhyun Kim Junkil Park 최진영 황종규 윤용기 조현정 Jin-Young Choi Jong-Gyu Hwang Yong-Ki Yoon Hyun-Jeong Jo
원문수록처(Citation)	VOL 35 NO. 12 PP. 0731 ~ 0740 (2008. 12)
한글내용 (Korean Abstract)	철도 제어 시스템은 대표적인 안전필수 시스템이다. 국제 규격의 컴퓨터 기반의 철도 제어 시스템을 개발하기 위해서 정형 기법을 이용한 요구사항 명세와 검증이 요구된다. 본 논문에서는 정형 기법을 사용하여 요구사항 명세를 작성하는 지침서(guideline)을 개발하고, 컴퓨터 기반의 열차 제어 장치 시스템에 대한 실제 적용 사례를 제시한다. 정형 명세를 위해 상태차트(statechart)와 Z를 사용하고, 정형 명세의 일치성(consistency)과 완전성(completeness)을 검증한다.
영문내용 (English Abstract)	A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.
키워드(Keyword)	정형명세 요구사항 공학 일치성 완전성 IEC 62279 철도제어 시스템 상태차트 제드 IEC 61508 formal specification requirements engineering consistency completeness railway control system formal specification requirements engineering statechart Z IEC 61508 IEC 62279
파일첨부	PDF 다운로드