2015 년도 한국철도학회 춘계학술대회 논문집 KSR2015S264 철도차량용 소프트웨어 소스코드 검증방안 연구 A Study on Software Source Code Verification Methods used for the Railway Vehicles 강치용 † , 조치환, 공명상, 강찬용 Chi-Yong Kang † , Chi-Hwan Cho, Myung-Sang Kong, Chan-Yong Kang Abstract The software used for railway vehicle control is generally embedded in microprocessor-based system. Considering that target device on which the software to be installed and its intended function, performance, size, price, etc., suitable microprocessor should be selected and then relevant hardware/software will be installed for its use. When developing software for embedded system, we should consider that it has limited resource unlike general purpose computer. Particularly, embedded software development has potential risks due to the fact that its development environment is not corresponds to its actual execution environment. This paper will introduce some source code verification methods to get rid of potential risks and to improve software quality of railway vehicle. Keywords : Railway vehicle software, Embedded, Source code verification 초 록 철도차량 제어를 위한 소프트웨어는 마이크로프로세서 기반의 임베디드 시스템 형 태로 탑재된다. 제어 대상 장치에 따라 알맞은 기능, 성능, 크기, 가격 등을 가진 마이크 로프로세서를 선택하여야 하며, 이에 맞는 하드웨어와 소프트웨어를 개발, 설치하여 사용 한다. 일반적인 범용 시스템과 달리 임베디드 시스템은 가용 리소스가 다소 한정되어 있 어 소프트웨어 설계 시에 고려할 점이 많고, 특히 소프트웨어 개발환경과 실행환경이 다 르다는 점에서 잠재적인 오류를 내포하기 쉽다. 본 논문에서는 철도차량에 탑재되는 소프 트웨어의 잠재적인 품질을 향상시키기 위한 몇 가지 소스코드 검증 방안을 소개한다. 주요어 : 철도차량 소프트웨어, 임베디드, 소스코드 검증 1. 서 론 전통적인 철도차량용 소프트웨어들은 그 기능들이 매우 단순하고 간결한 구조를 지녔었다. 이 소프트웨어들은 오랜 기간 변경 없이 사용되며 그 자체로 안정성 및 신뢰성을 입증해왔 다. 시대가 흘러 국내외 철도차량 고객사들은 점점 더 다양한 편의/안전기능들을 제공하는 철도차량을 구입하기를 원하게 되었고, 제작사에서는 이 기능들을 주로 소프트웨어적으로 구현하여 하드웨어 대비 높은 공간 효율과 확장성을 확보하고 있다. 이처럼 철도차량에서 소프트웨어가 차지하는 비중은 점점 증가하는 반면, 철도차량 소프 트웨어 개발의 현주소는 소프트웨어 공학적 개발 프로세스 적용보다는 납기를 맞추기 위한 코드 생성과 기능시험 중심의 기존 개발 방식을 고수하는 경우가 많아, 소프트웨어 고장이 자주 발생하고 있다. 하드웨어와 달리 눈에 보이지 않는다는 점에서 고장을 분석하기도, 예 측하기도 어려운 소프트웨어는 개발 프로세스에 초점을 맞추어야만 그 품질의 향상이 가능 하다. 소스코드 검증은 소프트웨어 개발 프로세스간 품질보증 활동 중 가장 직관적인 품질
6
Embed
철도차량용 소프트웨어 소스코드 검증방안 연구railway.or.kr/Papers_Conference/201501/pdf/KSR2015S264.pdf · 철도차량용 소프트웨어 소스코드 검증방안
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
2015 년도 한국철도학회 춘계학술대회 논문집 KSR2015S264
철도차량용 소프트웨어 소스코드 검증방안 연구
A Study on Software Source Code Verification Methods used for the Railway Vehicles 강치용†, 조치환, 공명상, 강찬용
Chi-Yong Kang†, Chi-Hwan Cho, Myung-Sang Kong, Chan-Yong Kang
Abstract The software used for railway vehicle control is generally embedded in microprocessor-based system. Considering that target device on which the software to be installed and its intended function, performance, size, price, etc., suitable microprocessor should be selected and then relevant hardware/software will be installed for its use. When developing software for embedded system, we should consider that it has limited resource unlike general purpose computer. Particularly, embedded software development has potential risks due to the fact that its development environment is not corresponds to its actual execution environment. This paper will introduce some source code verification methods to get rid of potential risks and to improve software quality of railway vehicle. Keywords : Railway vehicle software, Embedded, Source code verification 초 록 철도차량 제어를 위한 소프트웨어는 마이크로프로세서 기반의 임베디드 시스템 형태로 탑재된다. 제어 대상 장치에 따라 알맞은 기능, 성능, 크기, 가격 등을 가진 마이크로프로세서를 선택하여야 하며, 이에 맞는 하드웨어와 소프트웨어를 개발, 설치하여 사용한다. 일반적인 범용 시스템과 달리 임베디드 시스템은 가용 리소스가 다소 한정되어 있어 소프트웨어 설계 시에 고려할 점이 많고, 특히 소프트웨어 개발환경과 실행환경이 다르다는 점에서 잠재적인 오류를 내포하기 쉽다. 본 논문에서는 철도차량에 탑재되는 소프트웨어의 잠재적인 품질을 향상시키기 위한 몇 가지 소스코드 검증 방안을 소개한다.