Browse > Article
http://dx.doi.org/10.13067/JKIECS.2015.10.4.513

A Study on Software Static Analysis Method on IEC 62279  

Jin, Zhe-Huan (광운대학교 일반대학원 제어계측공학과)
Li, Chang-Long (광운대학교 일반대학원 제어계측공학과)
Lee, Jae-Ho (광운대학교 일반대학원 제어계측공학과)
Kim, Jae-Sik (광운대학교 일반대학원 제어계측공학과)
Lee, Key-Seo (광운대학교 로봇학부)
Publication Information
The Journal of the Korea institute of electronic communication sciences / v.10, no.4, 2015 , pp. 513-519 More about this Journal
Abstract
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.
Keywords
Static Analysis; TWC(Train to Wayside Communication System); IEC 62279; LDRA;
Citations & Related Records
Times Cited By KSCI : 5  (Citation Analysis)
연도 인용수 순위
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.   DOI   ScienceOn
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.   DOI
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.   DOI
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.   DOI
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.   DOI   ScienceOn
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.   DOI
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.