열차제어시스템 안전성 평가기술 및 정형기법 적용방안 분석

초록

According to the computerization of railway signalling systems, the safety demonstration and assessment of railway signalling system is so important. For this reason, railway signalling systems reflect the needs of methodology to assessment the safety. Then many studies of safety assessment techniques for railway signalling systems centering on the Europe, have been made continuously, and the requirements for safety acceptance are currently standardized by IEC. To develop and establish the safety assessment technology for railway signalling system in Korea, we are reviews the safety assessment activities for signalling system, the draft contents of Safety Case and guideline, the deducing of documents lists for safety assessment, et al. And also the application scheme of formal method for vital software of signalling system has studied for the safety improvement. For these topics, the case study was performed for validating the integrity of a software requirement specification, we choose the Zed and Statechart language as a formal specification language in a concrete. Zed was used first to detect and remove ambiguity from a portion of the natural language. Next, Statecharts were constructed to visualize the Z description and make it executable. Using executable models, the system behavior is able to assess under normal and abnormal conditions.