期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于失效逻辑建模的轨道交通信号系统安全评估方法
被引量:
1
1
作者
刘超
唐涛
李开成
《系统仿真学报》
CAS
CSCD
北大核心
2014年第6期1208-1216,共9页
轨道交通信号系统在架构设计阶段为了制订细化的安全需求,需要分析组件中导致系统危险源发生的组件失效事件最小割集。为了提高危险源分析结果的一致性和重用性,提出了一种基于失效逻辑建模技术的轨道交通信号系统的安全评估方法。通过...
轨道交通信号系统在架构设计阶段为了制订细化的安全需求,需要分析组件中导致系统危险源发生的组件失效事件最小割集。为了提高危险源分析结果的一致性和重用性,提出了一种基于失效逻辑建模技术的轨道交通信号系统的安全评估方法。通过设计失效逻辑模型的元模型和配置方法,基于信号系统功能设计,建立了Cecilia OCAS平台下的组件失效分析模型,使用AltaRica数据流语言描述了组件的失效逻辑行为,通过模型仿真获得了危险源的最小割集。基于通信的列车控制系统CBTC车载设备的案例研究证明:失效逻辑建模技术实现了复杂系统功能故障树的自动生成,保证了安全分析结果与系统设计变更的一致性,提高了危险源分析流程的效率。
展开更多
关键词
失效逻辑建模
CBTC
危险源分析
最小割集
AltaRica
Cecilia
OCAS
下载PDF
职称材料
题名
基于失效逻辑建模的轨道交通信号系统安全评估方法
被引量:
1
1
作者
刘超
唐涛
李开成
机构
北京交通大学电子信息工程学院
北京交通大学轨道交通控制与安全国家重点实验室
出处
《系统仿真学报》
CAS
CSCD
北大核心
2014年第6期1208-1216,共9页
基金
国家863计划(2012AA112801)
高速铁路运行控制系统安全分析及设计平台
+1 种基金
国家国际科技合作专项项目(S2012GR0192)
高速铁路信号系统安全认证和评估技术研究
文摘
轨道交通信号系统在架构设计阶段为了制订细化的安全需求,需要分析组件中导致系统危险源发生的组件失效事件最小割集。为了提高危险源分析结果的一致性和重用性,提出了一种基于失效逻辑建模技术的轨道交通信号系统的安全评估方法。通过设计失效逻辑模型的元模型和配置方法,基于信号系统功能设计,建立了Cecilia OCAS平台下的组件失效分析模型,使用AltaRica数据流语言描述了组件的失效逻辑行为,通过模型仿真获得了危险源的最小割集。基于通信的列车控制系统CBTC车载设备的案例研究证明:失效逻辑建模技术实现了复杂系统功能故障树的自动生成,保证了安全分析结果与系统设计变更的一致性,提高了危险源分析流程的效率。
关键词
失效逻辑建模
CBTC
危险源分析
最小割集
AltaRica
Cecilia
OCAS
Keywords
failure logic modeling
CBTC
hazard analysis
minimal cut set
AltaRica
Cecilia OCAS
分类号
U284 [交通运输工程—交通信息工程及控制]
TP319 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于失效逻辑建模的轨道交通信号系统安全评估方法
刘超
唐涛
李开成
《系统仿真学报》
CAS
CSCD
北大核心
2014
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部