列控系统是保证列车安全、正点、高效运行的自动化系统,是轨道交通系统的核心装备之一。在列控系统中,车载ATP子系统负责根据轨旁子系统提供的控制信息保证列车的运行安全。但是,行车许可中有限的障碍物信息及传输过程造成的延迟使得其不能完整、准确地反映当前列车运行前方障碍物的状态。车载ATP子系统无法判断行车许可的正确性,只能被动地依据行车许可计算速度防护曲线,监控列车运行速度,这会对列车安全造成不利影响。本文以提高列车安全防护的主动性及车载ATP子系统的软件质量为目标,提出了一种面向领域特征的车载ATP建模方法。论文主要工作包括以下四个方面：(1)针对现有车载ATP子系统的不足提出了一种新型车载ATP子系统。该系统具备主动防护功能,即找出行车许可中包含的可能危及列车运行安全的障碍物,设定新的列车追踪目标点。(2)深入分析了新型车载ATP子系统所具备的三个领域特征,提出了面向特征的车载ATP子系统建模方法,给出了基于混成自动机的车载ATP子系统形式化模型及其总体框架。(3)利用SCADE对车载ATP子系统的主要功能模块进行详细设计,包括主动防护模块、超速防护模块和测速定位模块。(4)对车载ATP子系统的功能模型进行仿真,通过分析仿真结果验证了模型的正确性和面向特征的车载ATP子系统建模方法的有效性。本文的研究为车载ATP子系统提供了一种新的建模思路,对保证该系统软件功能正确性,以及提高软件质量具有一定意义。