期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于STPA方法的平交道口安全需求分析 被引量:9
1
作者 刘宏杰 唐涛 +1 位作者 金夏垚 杜恒 《北京交通大学学报》 CAS CSCD 北大核心 2018年第2期84-90,共7页
现代平交道口控制系统多为由计算机组成的基于通信的控制系统,该类型系统中的危险致因大多源于系统组件间的复杂交互场景未得到充分辨识和控制。为了避免平交道口事故的发生,提出一套基于系统理论过程分析(STPA)的铁路信号系统安全分析... 现代平交道口控制系统多为由计算机组成的基于通信的控制系统,该类型系统中的危险致因大多源于系统组件间的复杂交互场景未得到充分辨识和控制。为了避免平交道口事故的发生,提出一套基于系统理论过程分析(STPA)的铁路信号系统安全分析方法。借助对传统STPA方法的改进及XSTAMPP软件,以平交道口控制系统为案例进行了安全分析。研究结果实现了安全需求可根据危险分析结果自动生成,解决了传统STPA过程过于依赖人工的问题;分析得到的平交道口控制系统安全需求被自动转化为线性时序逻辑(LTL)语言描述的形式化规范,避免了传统STPA分析结果用自然语言描述可能存在的歧义性,为基于模型的系统设计、测试和验证提供参考。 展开更多
关键词 平交道口 系统理论过程分析 安全分析 线性时序逻辑 xstampp软件
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部