基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对高速铁路列控系统安全完整性等级要求高、安全功能需求验证难等问题,考虑列控系统安全需求建模具有层次性、并发性等特点,以自主化ATP等级转换功能为例,综合运用安全状态机(SSM)建模理论,以及危险与可操作性分析方法(HAZOP),提出一种基于SSM-HAZOP的建模与自动验证方法.首先建立等级转换功能的SSM模型,然后基于HAZOP方法提取安全属性,最后利用SCADE DV工具自动验证等级转换的安全需求.结果 表明,该方法能够满足列控系统等级转换安全需求建模与验证的要求,可应用于自主化ATP的安全验证.
推荐文章
基于SPM的材料编码自主化初探
SPM
PDS
材料编码
数据库
基于UML和CPN的列控系统等级转换建模与分析
中国列车控制系统
等级转换
统一建模语言
有色Petri网
建模
自主化堆芯核设计软件COCO验证与确认
堆芯核设计
验证与确认
限值
运行数据
CRH5型动车组自主化UIC网关的设计与实现
CRH5型动车组
UIC网关
自主化
设计
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于SSM-HAZOP的自主化ATP等级转换功能建模与验证
来源期刊 铁道通信信号 学科
关键词 自主化ATP 等级转换 建模与验证 安全状态机 危险与可操作性分析
年,卷(期) 2020,(7) 所属期刊栏目 信号·控制
研究方向 页码范围 1-6
页数 6页 分类号
字数 3412字 语种 中文
DOI 10.13879/j.issn1000-7458.2020-07.19641
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张亚东 西南交通大学信息科学与技术学院 54 358 11.0 17.0
2 徐慧斯 西南交通大学信息科学与技术学院 1 0 0.0 0.0
3 李耀 电子科技大学光电科学与工程学院 4 4 1.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (58)
共引文献  (39)
参考文献  (15)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(3)
  • 参考文献(0)
  • 二级参考文献(3)
2007(3)
  • 参考文献(0)
  • 二级参考文献(3)
2008(5)
  • 参考文献(0)
  • 二级参考文献(5)
2009(3)
  • 参考文献(1)
  • 二级参考文献(2)
2010(9)
  • 参考文献(0)
  • 二级参考文献(9)
2011(13)
  • 参考文献(0)
  • 二级参考文献(13)
2012(5)
  • 参考文献(1)
  • 二级参考文献(4)
2013(7)
  • 参考文献(2)
  • 二级参考文献(5)
2014(2)
  • 参考文献(1)
  • 二级参考文献(1)
2015(3)
  • 参考文献(3)
  • 二级参考文献(0)
2016(8)
  • 参考文献(2)
  • 二级参考文献(6)
2017(3)
  • 参考文献(1)
  • 二级参考文献(2)
2018(4)
  • 参考文献(3)
  • 二级参考文献(1)
2019(1)
  • 参考文献(1)
  • 二级参考文献(0)
2020(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
自主化ATP
等级转换
建模与验证
安全状态机
危险与可操作性分析
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
铁道通信信号
月刊
1000-7458
11-1975/U
大16开
北京市海淀区大柳树路2号
2-403
1957
chi
出版文献量(篇)
8402
总下载数(次)
29
论文1v1指导