CBTC 지상 소프트웨어를 위한 SCADE 적용

CBTC Wayside Signal Controller is crucial part of the railway system which, based on radio communication, protects trains by checking and pursuing multiple trains, controlling distances between trains and setting moving rights, etc. per moving block on time. A software controlling such important procedures may have some faults. To use such a software with some uncertainty in the railway system requiring high-safety, it is very important to inspect the safety of the software. The fallacy potential of the software itselt should be reduced as far as possible by all the means including formal method development of it, inspection and experiment by suitable tests. Using SCADE, Formal method tool, A CBTC Wayside Signal Controller software should be specified intuitively, mathematically and logically, and the specified model should be inspected by such techniques as simulation and automatic code generation. This paper introduces the CBTC Wayside Signal Controller equipment designed to build and the software-making technique suing SCADE level by level.