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

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

DOI QR Code

Railway Software Analysis Tool using Symbolic Execution Method

심볼릭 수행 방법을 이용한 철도 소프트웨어 코드분석 도구제안

  • Jo, Hyun-Jeong (Dept. of Railroad Safety and Certification, Korea Railroad Research Institute) ;
  • Hwang, Jong-Gyu (Dept. of Railroad Safety and Certification, Korea Railroad Research Institute) ;
  • Shin, Duck-Ho (Dept. of Railroad Safety and Certification, Korea Railroad Research Institute)
  • Received : 2016.06.13
  • Accepted : 2016.10.18
  • Published : 2016.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

The railway system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented a software coding analysis tool using symbolic execution for railway system, and presented its result of implementation.

Keywords

References

  1. IEC 61508, "Railway Applications - The specification and demonstration of RAMS", 1998.
  2. IEC 62279, "Railway Applications - Communication, signalling and processing systems - Software for railway control and protection systems", 2015.
  3. Railroad Safety Act[Law No. 13436], Partial revision 2015. 07.
  4. J. Burnim and K. Sen, "Heuristics for scalable dynamic test generation", In ASE'08, 2008. 9.
  5. IEEE Std. 1008-1997, "Software Unit Testing", 1997.
  6. IEC std. 60880-2006, "Software aspects for computer - based systems performing category A functions", 2006.
  7. RTCA/DO-178B, "Software considerations in airborne systems and equipment certification", 1992.
  8. Arnaud Dupuy and Nancy Leveson, "An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software", Proceedings of DASC (Digital Aviation Systems Conference), Phildelphia, 2000. 10.
  9. Peter G Bishop, "MC/DC based estimation and detection of residual faults in PLC logic networks", 14th IEEE International Symposium on Software Reliability Engineering(ISSRE), Denver, Colorado, 2003. 11.
  10. S. Bucur, V. Ureche, C. Zamfir, and G. Candea. "Parallel symbolic execution for automated real-world software testing", In EuroSys'11, 2011. 4.
  11. Cristian Cadar and Koushik Sen, "Symbolic execution for software testing: three decades later", Magazine Communications of the ACM, 2013. 2.
  12. H.J.Jo and et al, "Development of Automated Tool & Criteria for Software Test Coverage in Railway System", Proceedings of Int'l Transportation System 2011, 2011.6.