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

摘要：

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

关键词：CTCS-3级系统、形式化方法、UML、可达集、功能安全分析

所属期刊栏目：35

分类号：TP301.2;U283(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2011AA010104,2012AA112801

在线出版日期：2013-11-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：59-66