机载软件适航技术研究与工程应用

摘要

通过分析研究DO-178B标准,提出了适用于大规模机载软件开发和验证的集成过程.过程紧密集成基于需求的开发活动和基于需求的验证活动,实现需求和代码的一致性目标.通过在过程中引入全局需求和需求子集开发活动,为软件开发和验证活动并行化创造了基础条件,进而提高工作效率,满足大规模软件众多项目人员协同工作及缩短项目周期的要求.%Under analysis DO-178B standard,this paper present an integrated software development and verification process which is adapt to large avionics software development.This process integrates software development and software verification based software requirement,which assures the consistency among the requirements and the code.In the process,Global requirements specification method and requirement subset method is applied,which makes the software development activities in parallel.This parallel development method fits the large software developing,which can improve the efficiency and reduce the project period.