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

• 영문명: A Study on Software Static Analysis Method on IEC 62279
• 발행기관: 한국전자통신학회
• 저자명: 김철환(Zhe-Huan Jin) 이창룡(Chang-Long Li) 이재호(Jae-Ho Lee) 김재식(Jae-Sik Kim) 이기서(Key-Seo Lee)
• 간행물 정보: 『한국전자통신학회 논문지』제10권 제4호, 513~519쪽, 전체 7쪽
• 주제분류: 공학 > 전자/정보통신공학
• 파일형태: PDF
• 발행일자: 2015.04.30

국문 초록

정적분석방식은 소프트웨어 코드분석방식중의 하나이다. 국제철도신호시스템 소프트웨어 관련규격 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.

목차

Ⅰ. 서 론

Ⅱ. TWC 사례 연구

Ⅲ. 정적분석

Ⅳ. TWC 소스코드 분석

Ⅴ. 결 론

키워드

Static Analysis TWC(Train to Wayside Communication System) IEC 62279 LDRA 정적 분석 TWC(도시 철도 차/지상간 열차 운행 정보 통신 장치) IEC 62279 LDRA