Testing method for software safety evaluation of train control system

열차제어시스템 소프트웨어 안전성 평가를 위한 시험방법

Abstract

본 발명은 열차제어시스템에 탑재되는 소프트웨어의 설계시 그 소프트웨어 자체의 품질 테스트뿐만 아니라 소프트웨어의 안전성을 분석 및 평가할 수 있도록 하는 열차제어시스템 소프트웨어 안전성 평가를 위한 시험방법에 관한 것이다. 이를 실현하기 위한 본 발명은, 평가대상인 열차제어시스템 소프트웨어의 소스코드와 상기 소프트웨어의 안전성 분석 데이터를 테스트 툴에 입력하여, 안전성 분석 결과와 품질분석 툴의 연계방식에 의하여 열차제어시스템 소프트웨어의 안전성을 테스트하도록 하는 방법으로 이루어져 있다. 이에 따라 본 발명은 기존의 품질 테스트를 위한 테스트 툴에 안전성 테스트를 위한 툴을 추가함으로써 열차제어시스템의 안전성 평가를 위한 테스트 툴로 활용할 수 있고, 또한 대상 시스템에 평가하고자 하는 소프트웨어를 직접 탑재하여 안전성을 평가하므로 모델을 이용하는 경우보다 실질적인 평가가 가능하다는 장점이 있으며, 소프트웨어 개발자가 본 발명에 따른 테스트 툴을 개발과정에 활용할 경우에 보다 높은 안전성이 확보되는 열차제어시스템을 위한 임베디드 소프트웨어의 개발이 가능한 장점이 있다. 열차제어시스템, 테스트 툴, 테스트 엔진, 안전성 평가,

Claims

Description

Topics

Download Full PDF Version (Non-Commercial Use)

Patent Citations (3)

    Publication numberPublication dateAssigneeTitle
    JP-2003044276-AFebruary 14, 2003Mitsubishi Electric Corp, 三菱電機株式会社Software development management device, software development management method, program for making computer execute software development management method and computer readable recording medium having program for making computer execute software development management method recorded thereon
    JP-H0916392-AJanuary 17, 1997Mitsubishi Electric Corp, 三菱電機株式会社ソフトウェア開発支援方式
    JP-H11175369-AJuly 02, 1999Toshiba Corp, 株式会社東芝Program development supporting device, program development supporting method and medium recording program development supporting program

NO-Patent Citations (1)

    Title
    MIGUEL, M. et al. "Model Based of Safety Analysis and Developemnt", Proceedings of 9th International Symposium on Object and Component-Oriented Real-Time Disrtributed Computing, 2006*

Cited By (0)

    Publication numberPublication dateAssigneeTitle