以列车为核心的列控系统在轨道交通信号领域逐渐得到广泛关注。与传统列控系统相比,部分进路控制和联锁逻辑功能被集成至车载设备,轨旁设备得到了大量的简化。这虽然提升了车载的智能化水平,但同时增加了系统的挑战和风险。由于新型列控系统具有安全苛求特性,任何故障都可能导致重大的人身伤亡和经济损失,因此如何保证这类系统的安全运行尤为重要。运行时验证作为一种轻量级的形式化方法,能够有效降低分析验证的复杂度,为系统的安全运行提供额外保障。然而,传统的运行时验证方法存在对监控性质的刻画能力不足的问题,为此,本文研究一种新型的基于运行时验证的动态监控方法,并结合新型列控系统的进路控制功能探讨方法的有效性。本文主要工作如下:(1)提出一种基于运行时验证的动态监控器的构建框架,通过建立系统参数化模型,由模型提取MTL(Metric Temporal Logic)表达的监控性质,进而构建监控器。监控器判断系统的执行序列是否满足监控性质,从而实现对系统运行时行为的动态监控。(2)提出一种扩展的参数化时间自动机建模语言,在传统的时间自动机基础上进行参数化扩展,增强了该语言对系统参数化模型的表达能力。同时,分析基于公式重写的MTL验证算法,利用该算法实现了对系统实时性质的验证。(3)分析了新型列控系统的进路控制原理,以该原理下一种进路控制的实现流程为依据,采用扩展的参数化时间自动机建模语言建立系统模型,对模型进行仿真和验证,确保模型应满足的功能性、实时性和安全性要求。(4)基于自动机模型与时序逻辑语言之间的等价关系,给出监控性质的提取规则。针对监控工具Maude验证的局限性,开发可自动实现运行时验证的工具,并利用所开发工具对两种典型运营场景下进路控制的实现过程实施监控。结果表明,本文提出的动态监控方法能够有效提高监控性质的质量,以及监控器发现系统错误行为的能力。本文的研究,对传统运行时验证刻画监控性质能力不足的问题进行了改进,避免了建模过程中出现的组合爆炸问题,提高了监控器的灵活度和构建效率,对保证新型列控系统进路控制功能的正确性和安全性有一定的借鉴意义。