铁路信号系统安全关键软件故障注入技术研究

来源 :北京交通大学 | 被引量 : 6次 | 上传用户:qinlh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
铁路信号系统安全关键软件采用故障-安全设计安全功能来保障列车安全、高效运行,由于故障是多种事件的组合并且具有潜伏期,传统测试方法难以重现所有安全设计防护的故障来验证系统安全性。故障注入测试通过对被测系统的注入故障加速系统失效,能有效实现系统安全性测试。软件故障注入低成本、安全、多模式注入的特点成为研究热点,但是由于故障和被测系统的复杂性等问题制约,软件故障注入一直缺少通用的测试工具。本文重点研究了软件故障注入安全性测试方法,将其应用于列车车载安全计算机安全关键软件系统中,对系统进行了详细研究并设计了故障注入系统。以此故障注入系统为基础,本文提出一种结合LabVIEW图形化编程和Visual C++动态调试功能的快速开发方法,设计并实现了三模冗余车载安全计算机安全关键软件故障注入仿真测试平台,能够通过一台仿真计算机支持三个安全计算机主机软件平行、同步运行和信息交换通信,实现对系统的静态故障注入、动态故障注入测试,可以导入XML脚本完成自动测试,以及动态调试程序定位缺陷。最后,通过实验验证仿真测试平台主要功能,为车载安全计算机安全关键软件的提供可靠的安全性测试工具。本文研究设计的车载安全计算机安全关键软件故障注入方法和工具在实际系统中取得良好的测试效果,并将为铁路信号系统其他安全关键软件系统安全性测试工具开发提供宝贵经验和方法理论。
其他文献
随着我国经济体制改革,财务部对各企业的会计收入准则有所调动,重点着手于企业的计量模式、资产减值的处理情况、存货计价、债务重组、税务处理、金融衍生工具生产、合并报表
中小学校为了促进自身的发展,不断提高自身财务管理水平,加强校内内部控制,以期可以充分利用和调配教育资源,将内部控制工作与学校的财务管理工作相结合,对提高学校财务管理
行政事业单位作为政府机关部门,其财务管理具有一定的特殊性,尤其是财务管理过程中各部门的工作职能以及工作范畴等需要进一步明确,并在法律规范和完善健全的财务管理机制作
自我国公立医院进入综合改革阶段以来,管理工作涉及的项目日益繁杂,尤其在财务管理工作当中,需要针对医院内部的各项经济活动情况进行统计与核算,工作量大且对精确性要求高。
互联网因其自身的特性在人们生活中的各个领域都得到了广泛的应用,并且成为了我们生活中及许多行业中不可或缺的一部分,改变了我们生活和生产的方式。互联网在企业的财务管理
随着社会经济的不断发展,石油销售企业的发展也正式迈入了发展的新阶段。实际上,石油企业在全球经济产业链中也占据着相当重要的比重,其财务管理水平的高低直接影响着企业应
会计报表粉饰行为是企业财务部门采用伪造、虚假流水等方法,编制会计报表,粉饰企业真实财务收益与现金流量的行为。本文简要分析了上市公司财务报表粉饰行为的动因:股票发现
我国互联网的快速发展和普及极大地推进了信息化时代的进程,扩大了普通民众参政议政和对社会热点问题的话语权,各界群众通过互联网参与舆论监督和发表各种诉求的积极性和主动
现如今,越来越激烈的市场竞争促使现金流量管理所发挥的作用逐渐显现出来,企业在进行财务管理的过程中利用现金流量管理,这个环节不仅可以使企业财政风险降低,而且还可以大大
本文主要研究了双目立体工业摄影测量中关键技术及其应用,论文主要工作与取得的成果如下:1、推导了双目立体工业摄影测量系统的精度估计公式,实验验证了公式的正确性。2、研