基于DO-178B机载软件可靠性设计.docVIP

基于DO-178B机载软件可靠性设计摘 要：本文从软件可靠性工程角度，对DO-178B的研制流程进行解读，分析DO-178B中所包含的避错、消错和容错的机载软件可靠性设计技术。分析表明，DO-178B既是机载软件满足适航安全性要求的符合性方法，也是保证机载软件可靠性的一种软件设计方法。 关键词：DO-178B；软件可靠性；机载软件；多版本软件 中图分类号：TP311 文献标识码：A DoI: 10.3969/j.issn.1003-6970.2012.06.014 Airborne Software Reliability Design Based on DO-178B JIN Ping, ZHaNG Xiao-chun (Flight Control Department of SADRI, Shanghai, 201210) 【Abstract】This paper discusses design flow based on DO-178B from software reliabilitys point of view and analyzes technology of error avoidance/ error removal /fault tolerance in Do-178B. the result of analysis indicates that Do-178B is not only the Method of Compliance to ensure airborne software meet Certification requirements, but also the method to assure software reliability. 【Key Words】DO-178B; Software Reliability; Airborne Software; Multiple-Version Software 1 机载软件可靠性概述 从Boeing 757/767和Airbus A310开始，数字式航空电子逐步开始应用到大型商用飞机的关键安全系统/设备中，如飞行控制系统、显示系统等。相比传统机载系统/设备，数字式航空电子具有部件少、维护方便、开发灵活、易于实现先进功能等优点，改善了商用飞机的经济性。为了满足民用航空安全性要求，适航当局要求数字式航空电子的可靠性与安全性至少应与它所替代的传统机载系统相当。模拟式航空电子的输入与输出通过硬件相连，其整个链路的可靠性和安全性是可预测的，且结果是可信的；而数字航空电子利用软件处理所有数据，输入与输出由软件相连，如何确定软件的可靠性和安全性并表明其满足适航要求是机载软件研发的关键。 FAA和EASA推荐由国际航空无线电委员会（RTCA）编制的DO-178B作为机载软件适航符合性方法［1］。DO-178B定义了一系列软件开发与验证的过程，整个过程必须接收配置管理和质量管理，同时根据系统安全性评估，参照软件对潜在失效条件的影响将机载软件划分为A、B、C、D、E五个研制保证等级，对于每个研制保证等级，它定义了目标及达到目标所x需进行的活动，图1为DO-178B概图。 DO-178B流程在保证安全性的同时，也提供了软件可靠性的保证。本文将基于DO-178B对机载软件可靠性设计方法进行分析。 软件失效方式与硬件大不相同，不能简单用硬件可靠度评估软件。到目前为止，尚无一种有效的方法来证明软件的可靠性，并给出准确的量化指标。即便软件可靠性预计是可信的，度量软件可靠度并不能直接产生所需的可靠软件。软件的可靠度必须通过正确设计和测试验证获得［2］。软件可靠性设计的技术可分为以下三类： 避错：即利用设计手段减少软件中的错误； 消错：即在软件开发结束后，通过测试等手段消除软件中的错误； 容错：即利用设计手段，确保错误出现时，满足故障安全要求或系统继续运行。 DO-178B通过建立阶梯式且严格规定的开发和验证过程来研发软件，其将软件开发过程分成多个步骤，每个步骤都需要经过验证后才能转入下一步，每一步验证使得研发过程中引入错误的概率减小到最小，达到避错设计目的；开发过程结束后，又通过多级测试和对测试的验证，以表明软件符合系统需求，达到消错设计的目的，整个过程如图2所示。 2 机载软件避错设计 实践表明软件的错误大多来源于开发设计阶段，如需求错误、人为引入错误等。如何减少开发设计阶段带来的错误成为软件可靠性设计最重要的内容。DO-178B的软件开发设计过程首先是根据验证过的系统需求生成软件高级别需求；然后经过一次或多次迭代，由高级别需求通过软件设计过程生成软件