基于UML语言的CTCS-1级车载ATP功能建模分析

分析CTCS-1级车载ATP的硬件结构和功能需求，建立系统的用例模型；从系统运营场景出发，划分系统功能的参与者，定义参与者的属性和行为，由此建立了场景类图模型和系统类图模型；利用活动图和时序图，从不同角度描述了系统功能参与者间的交互情况；借助编程语言对所建功能模型进行了验证。