한국전자통신학회논문지 (The Journal of the Korea institute of electronic communication sciences)

한국전자통신학회 (Korea Institute of Electronic Communication Science)
권호 표지
DOI QR코드

DOI QR Code

IEC 62279 규격의 소프트웨어 정적분석에 관한 연구

A Study on Software Static Analysis Method on IEC 62279

  • 김철환 (광운대학교 일반대학원 제어계측공학과) ;
  • 이창룡 (광운대학교 일반대학원 제어계측공학과) ;
  • 이재호 (광운대학교 일반대학원 제어계측공학과) ;
  • 김재식 (광운대학교 일반대학원 제어계측공학과) ;
  • 이기서 (광운대학교 로봇학부)
  • 투고 : 2015.03.14
  • 심사 : 2015.04.23
  • 발행 : 2015.04.30
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

정적분석방식은 소프트웨어 코드분석방식중의 하나이다. 국제철도신호시스템 소프트웨어 관련규격 IEC 62279에서는 소프트웨어 안전성 레벨에 따라 총 9가지 분석방법을 조합하여 사용할 것을 권고하고 있다. 본 논문에서는 도시철도 차 지상간 열차운행 정보 통신장치 연구개발에서 소프트웨어 품질을 향상하기 위하여 세 가지 정적분석방식에 대하여 연구하고, LDRA 툴을 이용하여 사례 연구를 진행하였다. 따라서 철도신호시스템 소프트웨어개발주기에 필요한 시간을 단축하여 안전성 관련 소프트웨어의 효율적인 개발에 도움을 주고자 한다.

Static analysis is one of the software source code analysis tools. 9 static analysis methods of three groups are recommended by international electro-technical commission about software safety related standard in IEC 62279. In this paper we choose the proper static analysis method from IEC 62279 about the train wayside communication system, Shorten the time of railway signalling software development using LDRA tools. And it wil be useful to improve the effective development of the safety-related software.

키워드

참고문헌

  1. J. Hwang, H. Jeong, and R. Jeong, "Analysis on Software Static Testing Results of Railway Signaling System," J. of The Transactions of the Korean Institute of Electrical Engineers, vol. 62, no. 1, 2013, pp. 30-35. https://doi.org/10.5370/KIEEP.2013.62.1.030
  2. B. Kim, "The analysis of the impact of the wireless channel quality on the quality of experience (QoE) through statistical analysis," J. of the Korea Institute of Electronic Communication Sciences, vol. 9, no. 4, 2014, pp. 491-497. https://doi.org/10.13067/JKIECS.2014.9.4.491
  3. S. Kim, S. Park, and J. Park, "Development of the Winch Control System for Floating Island and Statistics Analysis for Data," J. of the Korea Institute of Electronic Communication Sciences, vol. 7, no. 2, 2014, pp. 309-315. https://doi.org/10.13067/JKIECS.2012.7.2.309
  4. J. Lee, K. Jeong, G. Park, and K. Sohn, "A Quantitative Reliability Analysis of FPGA-based Controller for applying to Nuclear Instrumentation and Control System," J. of the Korea Institute of Electronic Communication Sciences, vol. 9, no. 10, 2014, pp. 1117-1123. https://doi.org/10.13067/JKIECS.2014.9.10.1117
  5. J. Kim, C. Li, and K. Lee, "Study on RFID Tag for Stabilizaion System in Metro," J. of the Korea Institute of Electronic Communication Sciences, vol. 9, no. 2, 2014, pp. 249-254. https://doi.org/10.13067/JKIECS.2014.9.2.249
  6. K. Lee, C. Li, S. Oh, H. Jung, and D. Yang, "Development of a Hybrid Track Circuit," World Congress Railway Research 2013, Sydney, Australia, Dec. 2013.
  7. N. G. Leveson, "Software Safety : Why, What, and How," ACM Comput. Surv., vol. 18, no. 2, 1986, pp. 125-163. https://doi.org/10.1145/7474.7528
  8. International Electrotechnical Commission, IEC 62278, Railway applications - Commnication, signalling and processing systems, Geneva : 2007.
  9. International Electrotechnical Commission, IEC 62279, Railway applications-Software for railway control and protection systems, Geneva : 2002.
  10. G. J. Myers, C. Sandler and T. Badgett, The art of software testing. Hoboken : John Wiley & Sons, 2011.
  11. Motor Industry Software Reliability Association : MISRA-C Coding Standard, MISRA(Motor Industry Software Reliability Association), Nuneaton : 2004.

피인용 문헌

  1. On-site inspection and case study on the design of an on-board signaling device for the mixed operation of train control systems vol.7, pp.1, 2017, https://doi.org/10.1080/22348972.2017.1348006