Browse > Article
http://dx.doi.org/10.5370/KIEEP.2013.62.1.030

Analysis on Software Static Testing Results of Railway Signaling System  

Hwang, Jong-Gyu (한국철도기술연구원)
Jo, Hyun-Jeong (한국철도기술연구원)
Jeong, Rak-Gyo (한국철도기술연구원)
Publication Information
The Transactions of the Korean Institute of Electrical Engineers P / v.62, no.1, 2013 , pp. 30-35 More about this Journal
Abstract
Many function of railway signalling system which is in charge of most core function in a railway system are being operated by the software according to the development of computer technology. Accordingly, the source code testing to verify the safety of the railway signalling system software becomes to be more important, and related international standards highly recommend verifications on the source code also. For this reason, several related studies on vital source code verification were executed from several years ago in Korea. This paper performed tests through the application to railway signalling system being applied to the existing actual domestic railway sites through automated testing tools for coding rules of signalling system software and another signaling system software under development in Korea recently, and analyzed their results.
Keywords
Software static testing; Software coding rules; Software complexity;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 IEC 61508-3, "Functional safety of electrical/electronic /programmable electronic safety-related systems - Part 3 Software requirements", 1998.
2 IEC 62279, "Railway Applications - Software for railway control and protection systems", 2002.
3 철도시설 안전기준에 관한 규칙 (국토해양부령 제 356 호, 2011.6.7 )
4 황종규, 조현정, "열차제어시스템 소프트웨어 안전성 확인을 위한 코딩규칙 테스팅 자동화 도구의 개발", 한국 철도학회논문집 제12권 제1호, 2009년.   과학기술학회마을
5 한국철도기술연구원, "열차제어시스템 안전성능 평가 및 사고방지기술 개발", 국토해양부 국가연구개발사업 최종보고서, 2011년 6월.
6 MISRA-C Coding Standard, MISRA(Motor Industry Software Reliability Association), 2004.
7 황종규, 조현정, 김형신, "열차제어시스템 소프트웨어 안전성 평가도구의 설계", 한국철도학회 논문집, 제11권 제2호, pp.139-144, 2008. 4.
8 황종규, 조현정, "국제표준기반 열차제어시스템 소프트 웨어의 정적 테스팅지원 도구의 개발", 대한전기학회논문집 제58P권 제2호, 2009년 6월.
9 T.J. McCabe., "A Complexity Measure", IEEE Trans. on Software Engineering, Vol. SE-2, No. 4, Dec. 1976.
10 황종규, 조현정, 김용규, "열차제어시스템 소프트웨어 Metric 분석 자동화 도구 개발", 한국철도학회 논문집 제12권 제4호, 2009년 8월.
11 Atolic AB, "White paper, "Improving software quality with static source code analysis", July, 2011.
12 M. Fewstar, D. Graham, "Software Testing Automation: Effective use of test execution tools", ACM Press, Addison Wesley, 1999.
13 J.D. Lawrence, "Software qualification in safety applications", Reliability Engineering & System Safety, Vol. 70, No. 2., pp. 167-184, 2000.   DOI   ScienceOn