● 摘要
随着计算机技术在航空领域应用的日益普及，软件已经渗透到各类机载设备和航空电子信息系统，承担着越来越多的关键功能。本课题针对安全关键软件基础研究中的关键问题以及安全关键软件开发过程和质量控制这一薄弱环节开展研究，有理论价值，同时在我国航空机载软件采用适航要求开发中有很好的应用前景。RTCA DO-178B标准是国际民航业对适航提出的软件过程管理要求，GJB5000A标准是我国军用软件能力成熟度模型标准，用于评估军工企业软件开发能力。我国机载软件开发也在参考DO-178B标准。因此，将二者进行对照分析，并在软件过程控制中对其进行融合，具有实际的指导意义。首先，本文阐述了机载软件过程符合性检查与控制研究的背景和意义，明确了本课题要解决的问题，并对软件建模技术、DO-178B软件生命周期模型和军用软件研制能力成熟度模型进行了深入研究。其次，本文在研究DO-178B与GJB5000A的基础上，从标准用途、等级划分、内容等三个方面对其进行对比分析，给出了DO-178B的软件过程目标与GJB5000A ML3过程域目标的对照分析表。针对软件计划过程和软件开发过程给出了两个标准融合的结果。然后建立标准融合后的软件生命周期模型。然后，本文在融合后的软件生命周期模型的基础上，给出了模型定制方法。该模型定制依据标准和相应软件等级生成相应的过程规则和文档规则，并基于所定制的过程模型给出了软件过程控制方法。此外，本文还研究了对一个已完成的软件产品的过程进行符合性检查的方法。最后，本文在以上理论研究的基础上，结合软件过程管理平台QESuite SPE，开发实现了一个DO-178B软件过程符合性检查与控制工具。该工具提供了项目定制、标准定制和软件过程控制、文档检查等基本功能，为软件开发人员基于DO-178B和GJB5000A标准开发软件提供有力的支持。