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

• 作者: 刘磊 刘金涛 唐涛 赵林
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: STPA CTCS-3级列控系统 形式化方法 功能安全分析
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 36-43
• 页数: 8页
• 分类号: TP301.2|U284.48
• 字数: 8353字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2015.08.006

摘要

本文给出CTCS‐3级列控系统中组件控制行为的形式化定义，并针对控制行为的时序关系，提出控制行为时序逻辑。以此时序逻辑为基础，给出控制关系模型的形式化定义，使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式，对系统的控制关系模型进行分析，实现STPA（System‐Theoretic Process Analysis）过程中不恰当控制行为的自动化辨识。以CTCS‐3级列控系统的RBC交接场景为例，使用上述基于控制关系模型的S T PA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS‐3级列控系统的功能安全分析。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
2	刘磊	中国铁道科学研究院通信信号研究所	19	99	5.0	9.0
3	赵林	北京交通大学轨道交通控制与安全国家重点实验室	11	160	8.0	11.0
4	刘金涛	北京交通大学国家轨道安全评估研究中心	7	110	6.0	7.0