The Transactions of the Korean Institute of Electrical Engineers P (전기학회논문지P)

The Korean Institute of Electrical Engineers (대한전기학회)
권호 표지
DOI QR코드

DOI QR Code

Analysis on Software Static Testing Results of Railway Signaling System

열차제어시스템 소프트웨어 정적 테스팅 적용시험 결과 분석

  • Received : 2013.01.09
  • Accepted : 2013.02.06
  • Published : 2013.03.01
Download PDF
⟨ Previous Next ⟩

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

References

  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. https://doi.org/10.1016/S0951-8320(00)00055-7

Cited by

  1. A Study on the Routing of Onboard Oriented Control System by Operation Scenario vol.2, pp.4, 2013, https://doi.org/10.11142/jicems.2013.2.4.473
  2. Mutual Authentication between the mobile node in Ad-hoc Network vol.10, pp.10, 2015, https://doi.org/10.13067/JKIECS.2015.10.10.1087
  3. A Study on Software Static Analysis Method on IEC 62279 vol.10, pp.4, 2015, https://doi.org/10.13067/JKIECS.2015.10.4.513