테스팅 기반 철도신호 소프트웨어 검증 방법 고찰

초록

Railway signaling system is the vital control equipment which is responsible for the operation of train, and its functional safety must be validated before real field application. Many function of railway signalling which is in charge of most core function in a railway system are being operated by the software according to the development of computer technology. Accordingly, the software testing to verify the safety of the railway signalling becomes to be more important. There are several studies to verify the railway signaling software. The verification methodologies are reviews and proposed for railway signaling software.