微机化站间自动闭塞系统是铁路交通控制的重要组成部分,软件一般要求实时高效、稳定可靠,即能持续地提供可靠的通信服务。对这类软件产品而言,可靠性是一个非常重要的指标,而如何提高其可靠性是当前一个急需解决的问题。本文通过研究可靠性保障的相关理论与技术,针对自动站间闭塞软件的可靠性分析、设计与评测,提出了解决该问题的一些思路。 论文概述了软件可靠性分析与设计理论:讨论了基于软件可靠性模型的传统评价方法在应用中的局限性;研究并改进了基于假设检验的可靠性评价方法;结合微机化站间自动闭塞系统为实例,以系统的功能需求、技术指标为出发点,给出了基于UML的系统需求分析;并利用故障树分析技术,给出了系统的软件故障树,指出系统的薄弱环节,这对系统的可靠性设计、进一步改进和完善具有很好的指导意义;针对故障树中显露的站间通信问题和设备通信问题,提出了设计方案,并对方案的应用可行性进行了分析。 论文运用软件可靠性的理论和方法,研究了在微机化站间自动闭塞系统系统中的应用,其方法与策略对保障系统的可靠性具有一定的参考意义。同时,该方法对于其它铁路控制系统软件的可靠性同样适用。