列车运行控制系统实时性的建模与验证