基于DO-178B的软件验证过程研究与实现

摘要

随着在航空器和发动机上所用的机载系统和设备对软件的使用迅速增加，为满足适航性要求，航空无线电技术委员会(RTCA)制定了DO-178B标准。虽然DO-178B在国内民航领域越来越受重视，但是在实际的软件开发尤其是软件验证过程中却不能得到很好的贯彻和落实。本文提出了一个基于DO-178B软件验证过程管理系统，以协助实现对软件的DO-178B验证，从而提高验证过程的效率和有效性。
　　 本文首先研究和分析DO-178B规定的软件生命周期，以及软件生命周期规定的软件开发过程，对各个过程的指南和目标进行了详细的了解。DO-178B软件验证过程贯穿了整个软件生命周期，本文对DO-178B软件验证过程的活动和目标进行了分析，并详细的研究了DO-178B的A级验证方法--评审和分析。
　　 本文分析了目前DO-178B相关系统的现状，以VxWorks653的验证活动为例，根据DO-178B的生命周期活动以及制定的目标，将评审和分析活动进行细分设计为五个活动。对于细分的每个活动再进行分析，进行详细的流程设计，以在每一个活动严格执行和贯彻DO-178B的指南，达到DO-178B设定的目标。本文提出了基于工作流建立模型体系结构，并以验证活动中的建立需求流程为例，对系统引入工作流进行了设计。
　　 最后根据上述设计实现了基于DO-178B软件验证过程管理系统，用来指导DO-178B软件验证活动的进行。