Browse > Article

Development of Static Testing Tool Related Int'l Standard for Railway Signaling Software  

Hwang, Jong-Gyu (한국철도기술연구원)
Jo, Hyun-Jeong (한국철도기술연구원)
Publication Information
The Transactions of the Korean Institute of Electrical Engineers P / v.58, no.2, 2009 , pp. 108-115 More about this Journal
Abstract
Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection module and checklists supporting module. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.
Keywords
Fagan Inspection; Software Checklist; Software Static Testing; Railway Signalling System;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 IEC 61508, "Railwya Applications - The speification and demonstration of RAMS", 1998
2 IEC 62279, "Railway Applications - Software for railway control and protection systems", 2002
3 Ian B. Pirie, "Software - How do we know it is safe?", Proceedings of the 1999 ASME/IEEE Joint, pp.122-129, 1999
4 황종규, 조현정, 김형신, "열차제어시스템 소프트웨어 안전성 평가도구의 설계", 한국철도학회 논문집, 제11권 제2호, pp. 139-144, 2008.4
5 철도안전법[법률 8852호], 일부개정 2008.02
6 N. Eickelmann, F. Ruffolo, etc.,"An empirical study of modifying the Fagan Inspection process and the resulting main effects and interaction effects among defects found, effort required, rate of preparation and inspection", Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop, 2002.
7 J.D.Lavrence, "Software qualification in safety applications", Reliability Engineering & System Safety, Vol. 70, No.2, pp. 167-184, 2000   DOI   ScienceOn
8 소선섭, 차성덕, 권용래, T.J. Shimeall, "페이건 인스펙션의 오류 검출 능력에 관한 실험적 평가", 정보과학회논문지, 제24권 제12호, 1997. 12