Method for Verifying System Requirement Specifications Based on Train Control System Safety Requirements

摘要

A high level of safety is required for train control systems. It is important to apply all required safety measures to train control systems without any omissions. As many more functions are required in recent train control systems than before, it is necessary to divide the design phase into the conceptual design phase and the detailed design phase, in order to avoid system design complexity. In this paper, in order to conduct this appropriately, the template of safety requirements and a method of verifying the specifications of the system requirements with this template are proposed. The procedures are illustrated by applying the proposed method to CARAT (Computer And Radio Aided Train control system) as an example. Moreover, to apply this method efficiently, a support tool was built to verify safety requirements, and which displays safety verification items to be checked in the system requirement specifications automatically.