基于失效逻辑建模的轨道交通信号系统安全评估方法

作     者：刘超 唐涛 李开成 LIU Chao;TANG Tao;LI Kai-cheng

作者机构：北京交通大学电子信息工程学院北京100044 北京交通大学轨道交通控制与安全国家重点实验室北京100044 

基　　金：国家863计划(2012AA112801) 高速铁路运行控制系统安全分析及设计平台 国家国际科技合作专项项目(S2012GR0192) 高速铁路信号系统安全认证和评估技术研究 

出 版 物：《系统仿真学报》 (Journal of System Simulation)

年 卷 期：2014年第26卷第6期

页      码：1208-1216页

摘      要：轨道交通信号系统在架构设计阶段为了制订细化的安全需求,需要分析组件中导致系统危险源发生的组件失效事件最小割集。为了提高危险源分析结果的一致性和重用性,提出了一种基于失效逻辑建模技术的轨道交通信号系统的安全评估方法。通过设计失效逻辑模型的元模型和配置方法,基于信号系统功能设计,建立了Cecilia OCAS平台下的组件失效分析模型,使用AltaRica数据流语言描述了组件的失效逻辑行为,通过模型仿真获得了危险源的最小割集。基于通信的列车控制系统CBTC车载设备的案例研究证明:失效逻辑建模技术实现了复杂系统功能故障树的自动生成,保证了安全分析结果与系统设计变更的一致性,提高了危险源分析流程的效率。

主 题 词：失效逻辑建模 CBTC 危险源分析 最小割集 AltaRica Cecilia OCAS 

学科分类：08[工学] 0835[0835] 082302[082302] 081202[081202] 0823[工学-农业工程类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.16182/j.cnki.joss.2014.06.012

馆 藏 号：203997216...