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...