EN 50128 기준 열차제어시스템의 소프트웨어 모듈 시험에 관한 연구
A Study on the Software Module Testing of Train Control System in Compliance with EN 50128
1
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
최근 철도시스템의 안전 관련 국제 규격인 EN 50128을 준수하여 소프트웨어 SIL(Safety Integrity Level) 인증을 대비하고 있다. EN 50128은 철도시스템의 소프트웨어 개발과정에서 요구되는 기술적인 요구사항과 절차에 대해 정의하고 있는 국제 표준 규격이다. EN 50128에서는 소프트웨어 요구사항에 대해 시스템 단위에서의 검증 및 확인 이전에 소프트웨어 세부 모듈에 대해서 시험 및 검사를 수행하도록 강력히 권고하고 있다. 그러나 현재 철도시스템의 시험 및 검사 방식은 소프트웨어와 하드웨어를 통합한 시스템 단위 레벨에서만 수행되고 있다. 본 논문에서는 안전ㆍ필수 열차제어시스템의 소프트웨어 SIL 인증에 대비하기 위해, 소프트웨어 모듈 시험에 대한 필요성을 언급하고 방법론을 제시하였다.
Abstract
In recent years, we are preparing for the software SIL(Safety Integrity Level) certification in compliance with the EN 50128 standard(Railway applications ? Communication, Signaling and Processing system ? Software for Railway control and Protection systems). Under the EN 50128 standard, the software requirements should be validated and verified in software module level before they are validated and verified in system level. However, recent testing and inspections of railway system have been only performed by system level(software and hardware integration). In this paper, we emphasized the necessity and suggested the method about the software module test in order to prepare the software SIL certification of the safety-critical train control system.
참고문헌 (8)
- "EN 50128 International Standard: Railway applications-Communications, signalling and processing systems -Software for railway control and protection systems", 1~103 (2001)
- Bombardier Inc., "ERTMS", ETCS Applications - Balise Specifications, 2003, pp.1~5
- SIEMENS, "Railway signaling application Manual -ERTMS", ETCS Balise, 2001, pp.2~3
- UNISIG, ""ERTMS", ETCS SUBSET-036 FFFIS for Eurobalise" version 2.4.1, 2007, pp.61~91
- YK-Balise SIL 4 Report-Software Module Design Specification, "Yookyung Control Co., Ltd.", 2~32 (2011)
- Yookyung Control Co., Ltd., "YK-Balise SIL 4 Report-Software Module Test Report", 4~52 (2011)
- Charles H. Roth, Jr., "Digital Systems Design Using VHDL", 121~151 (2006)
- Dr. Aleksandar Milenkovic, "Simulating a Design Using ModelSim VHDL Compiler and Simulator", 5~12 (2009)