一种基于DO-178B/C标准的系统建模与代码生成方法

摘要

航空电子系统是安全关键的嵌入式系统,其对安全性和可靠性有很高的要求.目前美国航空无线电委员会RTCA提出的航空机载软件适航认证标准DO-178B/C,是航空领域被国际普遍认可的安全标准和质量体系.提出一种符合DO-178B/C标准的机载软件系统建模与代码生成的方法,此方法结合DO-178B/C标准,将机载软件的开发分为软件需求的分析建模,软件体系结构的建模与相应代码生成,以及软件底层功能代码生成三个主要过程.这样将软件的架构与功能分离解耦合,并且实现相应的自动代码生成方法,极大方便了软件的正确开发与有效验证,这对生成安全可靠、高质量的机载软件系统很有借鉴意义。