Onboard ATP 소프트웨어 SIL4 확보를 위한 모듈 시험 및 검증

KRTCS UOBC system, acquired SIL certification, is functionally classified as ATP and ATO, and this paper only explains onboard ATP software modules which are allocated to SIL 4. SIL4 ATP modules should be tested and verified in accordance with IEC62279, standard for safety related railway system. ATP modules should be tested and verified through selection of module level requirements and the technique/measure for the suitable level of IEC62279 in order to satisfy SIL4. The scope of this paper is limited to module level, requiring lots of time and effort, and efficient test and verification methods will be suggested based on SIL4 certificated onboard ATP system.