我国的大型区管中心空管自动化系统软件的可靠性评估.pdfVIP

我国大型区管中心空管自动化 系统软件的可靠性评估 徐肖豪王颖利 中国民用航空学院，天津300300 摘要随着北京、上海、广州三大区域管制中心的建设相继完成，为了保证空中交通管理 新老系统的平稳过渡，中国民用航空学院进行了三大区域管制中心的可靠性评估工作。本文主要 就我国三大区域管制中心空管自动化系统软件可靠性评估的研究背景、空管自动化系统结构和 特点、空管自动化系统评估过程及评估结果等主要内容进行了描述。 关键词空中交通管制软件可靠性 自动化系统 1研究背景 随着国内民航事业的飞速发展，空中交通流量急剧增长，为此在20世纪90年代后期中 国民航决定在空中交通流量密集的北京、上海、广州建设大型的区域空中交通管制中心。无 论设备自动化水平、建设规模还是组织管理的要求，新的区域管制中心都对中国民航提出了 挑战。 随着三大区域管制中心的建设相继完成，作为指挥枢纽的区管中心为了保证空中交通安全， 必须连续稳定地工作，不能有任何的中断或失效，这就要求空管自动化系统具有很高的可靠性。 2004年下半年开始，中国民航学院空中交通管理研究基地受民航总局空管局的委托，承担了北京、 上海、广州三大区域管制中心的可靠性评估工作。目前北京和上海区域管制中心的可靠性评估工 作已经结束，广州区域管制中心的可靠性评估工作正在进行中。 ， 对区域管制中心进行可靠性评估的主要目的是：在区域管制中心投入运行之前，对管制中心 系统运行的可靠性进行评价与预测，了解影响系统可靠性的关键环节和影响因素，为区域管制中 心实现新老系统的平稳过渡提供科学依据；根据评估结果，提出有关的改进建议和意见，以便采 取必要的措施，使系统具有较高的可靠性和可用性，促进提高空管系统保障能力；同时为民航今 后大型项目建设的科学化管理与评估积累经验。 即采用现代先进的计算机处理、网络技术，为空中交通管制人员提供空中飞行动态和飞行计划处 理、告警等辅助管制功能的大型应用空管自动化软件系统。空管自动化系统软件能否持续、可靠 地运行决定了整个空管系统管制工作能否正常服务，因此进行区管中心可靠性评估的关键性工作 即是进行空管自动化系统软件EUROCAT-X的可靠性评估。 对空管自动化系统软件的可靠性评估，分为对软件本身的可靠性评估和对软件结构的可靠 性评估二方面。本文仅介绍我们对区管中心空管自动化系统软件本身的可靠性评估的有关工作 和结果。 55 2软件可靠性问题 2．1软件可靠性的概念 软件可靠性：指的是在给定时间内，特定环境下软件无错误运行的概率。 软件可靠度：软件可靠性的概率度量，指软件产品在规定条件下和规定时间内，完成规定的 功能(无失效运行)的概率。 软件可靠性模型：软件可靠性模型是指定失效过程对所述因素依赖性的一般形式，是系统失 效特征的数学描述。它被用来进行系统设计、试验、运行和维修的分析和优化。 2．2软件可靠性的特点 与硬件可靠性相比，软件可靠性具有如下特点： (1)软件错误主要是由设计错误造成的，使用和维护对软件可靠性的影响不大。 (2)软件错误不随使用时问的延长而增加。 (3)软件修理就是通过再设计排除原有错误。 (4)软件可靠性增长与软件使用的事件无关，与检测并改正错误的努力有关。 (5)软件寿命期内无老化与损耗现象。 (6)正确的软件不因使用环境的变化而改变其正确性。 (7)同一软件的冗余技术不能提高软件的可靠性。 (8)采用高可靠性的标准件——系统软件所提供的各种库函数，未必能提高整体软件的可 靠性。 ， 2．3软件可靠性检验 如何检验软件可靠性是软件可靠性理论研究的一个基本问题。显然，定量检验软件可靠性的 最直接方法是软件投入运行后在实际运行环境中检查软件失效情况。但这种方法的缺点是要求软 件运行时间较长，而人们一般希望在软件开发阶段结束之前就能估计或预测软件可靠性或可靠度， 以检