基于非齐次泊松过程的联锁软件可靠性建模与半实物仿真

来源 :北京交通大学 | 被引量 : 5次 | 上传用户:arsonloupeen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
计算机联锁系统是铁路信号系统的重要组成部分,其可靠性是保障列车安全高效运行的重要前提。随着联锁系统的硬件结构日趋完善,系统的可靠性越来越依赖于联锁软件。在软件的生命周期中,测试阶段是提高其可靠性的重要环节,利用测试失效数据建立可靠性增长模型,进而评估和预测可靠性的增长情况是软件可靠性领域的重要研究方向。虽然目前提出的可靠性增长模型已近百种,但对于联锁这类安全苛求型软件而言,普通模型的评估和预测效果往往会有所欠缺,为了建立更适用于联锁软件的可靠性增长模型,本文进行了如下的研究:首先介绍了联锁系统和软件可靠性工程的相关背景知识,选定应用较为广泛的非齐次泊松过程(Non-homogeneous Poisson Process,NHPP)类可靠性模型作为建模的数学基础,研究分析了几种经典的NHPP类可靠性模型的建模思想。其次对联锁软件的测试过程进行分析,发现在其测试及故障修复的过程中,存在着测试不完全覆盖和排错过程不完美的现象,将这些现象考虑到建模假设之中,建立微分方程并对其中的特殊函数选取恰当的表达式,由此得到联锁软件可靠性增长模型。接着利用一组实测联锁软件数据对该模型进行验证,结果表明相较于几种经典的软件可靠性增长模型,改进的模型能更好的评估和预测联锁软件的可靠性增长情况。最后,本文依据《计算机联锁技术条件》设计实现了能接受操作命令、判断联锁逻辑并予以准确执行的计算机联锁软件,另搭建了相应的硬件平台配合其完成完整的联锁功能,设计测试用例对该联锁软件进行功能测试,记录软件失效现象及失效数据。在软件的测试后期应用本文提出的联锁软件可靠性增长模型对该软件的可靠性进行评估,并预测出软件达到预期可靠性标准的时间。本文建立了联锁软件可靠性增长模型,通过真实的软件失效数据验证了该模型对软件可靠性的评估和预测效果;论文设计实现了联锁半实物仿真系统,并将文中提出的模型应用于该系统的软件测试阶段,结果表明,模型能够准确的评估软件的可靠性发展并预测出软件达到预期可靠性标准的时间,其评估和预测结果将会为计算机联锁系统的开发管理提供重要的科学依据。
其他文献
近年来,随着我国高速铁路的飞速发展,越来越多的人们选择高铁作为主要的出行方式,这对列控系统提出更高的安全与可靠要求。列控安全计算机作为列车控制系统的关键组成部分,负
有机存储器件的研究是未来电子技术领域的重要方向之一,其中有机电双稳器件因柔性、透明、成本低、制备简单、可大面积制作、可应用在印刷电子等优点而受到广泛深入地研究。
光镊技术作为近年来发展的一种新型技术,由于其非接触性、无损伤等优点,已经成为一种微观尺度上研究微小粒子的新手段,在生物医学、物理学等多个领域,光镊技术都发挥了很重要的作
航空发动机气路故障是重要的发动机故障,气路故障会严重影响发动机正常工作,对飞行安全构成极大胁威,由于航空发动机的工作特点,气路故障又是无法完全避免的,因此只有及时发现,尽早
为了提升《UG三维造型》课程教学效果,本文将对该课程进行理实一体化教学改革研究,厘清课程教学目标,打破固有的知识体系框架,采用“实例分析、工艺路线、操作步骤”三步法,