基于UML模型的CTCS-3级列控系统功能安全分析方法

作者：刘金涛; 唐涛; 赵林; 李宪

来源：铁道学报, 2013, (10): 59-66.

• CTCS-3级系统
• 形式化方法
• UML
• 可达集
• 功能安全分析 CTCS-3system
• formalized method
• reachable sets
• function safety analysis

本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件机制对系统的故障情况进行刻画。给出UML模型到PHAVer模型的转化规则以及故障监视器模型的建立方法,利用可达集计算原理验证列控系统的PHAVer模型并对其进行功能安全性分析。以CTCS-3级列控系统的RBC交接为例,使用UML结合可达集计算对系统进行功能安全分析。分析结果表明:UML与可达集计算相结合的方法适用于CTCS-3级列控系统的功能安全分析。

• 单位
  北京交通大学; 轨道交通控制与安全国家重点实验室