【摘 要】
：
针对高速铁路列控系统安全完整性等级要求高、安全功能需求验证难等问题,考虑列控系统安全需求建模具有层次性、并发性等特点,以自主化ATP等级转换功能为例,综合运用安全状态
【机 构】
：
西南交通大学信息科学与技术学院,电子科技大学光电科学与工程学院
【基金项目】
：
国家自然科学基金青年基金项目.复杂交互作用下高铁列控系统危险致因辨识及风险耦合分析方法研究.61703349,中央高校基本科研业务费专项资金资助.列控系统复杂运营场景危险致因辨识及风险耦合分析.2682017CX101,中国铁路总公司科技研究开发计划课题.高铁信号工程列控系统第三方仿真测试技术研究.N2018G062,中国铁路总公司科技研究开发计划课题.高速铁路信号系统仿真测试平台技术研究.K20
论文部分内容阅读
针对高速铁路列控系统安全完整性等级要求高、安全功能需求验证难等问题,考虑列控系统安全需求建模具有层次性、并发性等特点,以自主化ATP等级转换功能为例,综合运用安全状态机(SSM)建模理论,以及危险与可操作性分析方法(HAZOP),提出一种基于SSM-HAZOP的建模与自动验证方法.首先建立等级转换功能的SSM模型,然后基于HAZOP方法提取安全属性,最后利用SCADE DV工具自动验证等级转换的安全需求.结果表明,该方法能够满足列控系统等级转换安全需求建模与验证的要求,可应用于自主化ATP的安全验证.
其他文献
【正】 核科学技术是当代科学技术的重要组成部分,核工业是一个学科众多、技术密集的新兴产业。核科学技术的开拓与核工业的发展,标志着人类对物质世界深入认识和改造的一次
有位哲学家曾经说过:“如果你拥有了宽容,你就能拥有朋友,拥有快乐,没有烦恼,不再寂寞。”宽容是一种大度,宽容是一种豁达;宽容能够包容百川,宽容能够容纳万物。如果你以一种
为开展彩色马蹄莲基因功能分析、表型差异研究、分子标记开发和遗传多样性研究,通过Illumina HiSeq 4000高通量测序平台对2个彩色马蹄莲育成品种‘金丝绒’和‘梦幻’进行转
新编高中语文教材增加了文学类文章的比重，且同类文章比较集中，在教学中，我们完全可以从文学角度去理解和把握这些课文。比如：对于小说单元的教学，教师可以在人物的形象和语言方面
英国华威大学和英国癌症研究所对英国1500多名前列腺癌患者及3000多名健康人士进行了调查。调查结果显示，大部分人的食指要短于无名指，而有约19％的人无名指和食指长度一样，这些人
本文从组织异质性不同维度的角度出发,探讨了创新网络中互动强度对组织异质性与合作创新绩效关系的调节效应。基于278家合作创新的企业调查数据,利用多元回归分析进行变量间
美国哈佛大学一项新研究发现，常吃草莓和蓝莓等浆果可防止老年脑力衰退。
针对目前道岔除冰雪工作中存在的问题,提出外锁闭装置的防护罩设计方案.具体分析了防护罩的安全可靠性要求,介绍了防护罩的安全设计构思、制作材料选择要求、工厂组装和现场
大家都知道SOP封装及QFP封装与LCCC封装芯片的脚位序列是沿芯片标志点按逆时针的方向数起，这中间也有特例，如RF系列功放模块(内部集成功控电路)的49个脚位便是以功能引脚优先，大
设备唯一标识是实现ATP车载设备信息化管理和智能维修的前提.在分析国家标准和铁路标准对于设备唯一标识编码的基本原则和特点的基础上,结合ATP设备全路频繁流转的实际需求,