论文部分内容阅读
计算机联锁系统是铁路信号系统的重要组成部分,其可靠性是保障列车安全高效运行的重要前提。随着联锁系统的硬件结构日趋完善,系统的可靠性越来越依赖于联锁软件。在软件的生命周期中,测试阶段是提高其可靠性的重要环节,利用测试失效数据建立可靠性增长模型,进而评估和预测可靠性的增长情况是软件可靠性领域的重要研究方向。虽然目前提出的可靠性增长模型已近百种,但对于联锁这类安全苛求型软件而言,普通模型的评估和预测效果往往会有所欠缺,为了建立更适用于联锁软件的可靠性增长模型,本文进行了如下的研究:首先介绍了联锁系统和软件可靠性工程的相关背景知识,选定应用较为广泛的非齐次泊松过程(Non-homogeneous Poisson Process,NHPP)类可靠性模型作为建模的数学基础,研究分析了几种经典的NHPP类可靠性模型的建模思想。其次对联锁软件的测试过程进行分析,发现在其测试及故障修复的过程中,存在着测试不完全覆盖和排错过程不完美的现象,将这些现象考虑到建模假设之中,建立微分方程并对其中的特殊函数选取恰当的表达式,由此得到联锁软件可靠性增长模型。接着利用一组实测联锁软件数据对该模型进行验证,结果表明相较于几种经典的软件可靠性增长模型,改进的模型能更好的评估和预测联锁软件的可靠性增长情况。最后,本文依据《计算机联锁技术条件》设计实现了能接受操作命令、判断联锁逻辑并予以准确执行的计算机联锁软件,另搭建了相应的硬件平台配合其完成完整的联锁功能,设计测试用例对该联锁软件进行功能测试,记录软件失效现象及失效数据。在软件的测试后期应用本文提出的联锁软件可靠性增长模型对该软件的可靠性进行评估,并预测出软件达到预期可靠性标准的时间。本文建立了联锁软件可靠性增长模型,通过真实的软件失效数据验证了该模型对软件可靠性的评估和预测效果;论文设计实现了联锁半实物仿真系统,并将文中提出的模型应用于该系统的软件测试阶段,结果表明,模型能够准确的评估软件的可靠性发展并预测出软件达到预期可靠性标准的时间,其评估和预测结果将会为计算机联锁系统的开发管理提供重要的科学依据。