基于STPA方法的平交道口安全需求分析

• 作者: 刘宏杰 唐涛 杜恒 金夏垚
• 来源期刊: 北京交通大学学报
• 学科: 交通运输
• 关键词: 平交道口 系统理论过程分析 安全分析 线性时序逻辑 XSTAMPP软件
• 年，卷（期）: 2018,（2）
• 所属期刊栏目: 通信网络和列车控制安全
• 页码范围: 84-90
• 页数: 7页
• 分类号: U231
• 字数: 5608字
• 语种: 中文
• DOI: 10.11860/j.issn.1673-0291.2018.02.012

摘要

现代平交道口控制系统多为由计算机组成的基于通信的控制系统,该类型系统中的危险致因大多源于系统组件间的复杂交互场景未得到充分辨识和控制.为了避免平交道口事故的发生,提出一套基于系统理论过程分析(STPA)的铁路信号系统安全分析方法.借助对传统STPA方法的改进及XSTAMPP软件,以平交道口控制系统为案例进行了安全分析.研究结果实现了安全需求可根据危险分析结果自动生成,解决了传统STPA过程过于依赖人工的问题;分析得到的平交道口控制系统安全需求被自动转化为线性时序逻辑(LTL)语言描述的形式化规范,避免了传统STPA分析结果用自然语言描述可能存在的歧义性,为基于模型的系统设计、测试和验证提供参考.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学电子信息工程学院	152	2578	27.0	40.0
2	刘宏杰	北京交通大学电子信息工程学院	11	82	5.0	9.0
3	杜恒		3	12	2.0	3.0
4	金夏垚	北京交通大学电子信息工程学院	1	5	1.0	1.0