Verification of vital functions in processor-based systems used in rail transit control

• 铁路直达运输用处理机系统主要功能的验证