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

中文摘要 摘要： 铁路信号系统安全关键软件采用故障．安全设计安全功能来保障列车安全、高 效运行，由于故障是多种事件的组合并且具有潜伏期，传统测试方法难以重现所 有安全设计防护的故障来验证系统安全性。故障注入测试通过对被测系统的注入 故障加速系统失效，能有效实现系统安全性测试。软件故障注入低成本、安全、 多模式注入的特点成为研究热点，但是由于故障和被测系统的复杂性等问题制约， 软件故障注入一直缺少通用的测试工具。 本文重点研究了软件故障注入安全性测试方法，将其应用于列车车载安全计 算机安全关键软件系统中，对系统进行了详细研究并设计了故障注入系统。以此 C++动态 故障注入系统为基础，本文提出一种结合LabVIEW图形化编程和Ⅵsual 调试功能的快速开发方法，设计并实现了三模冗余车载安全计算机安全关键软件 故障注入仿真测试平台，能够通过一台仿真计算机支持三个安全计算机主机软件 平行、同步运行和信息交换通信，实现对系统的静态故障注入、动态故障注入测 试，可以导入xML脚本完成自动测试，以及动态调试程序定位缺陷。最后，通过 实验验证仿真测试平台主要