第1部分：介绍了基于模型的开发DO-178C了解如何与DO-178C的过程兼容使用基于模型的设计和使用Simulink，Stateflow的，嵌入式编码形式化方法和DO资金宝app格套件，DO-331，DO-333和DO-330。

第2部分：合格模型验证 - 要求跟踪执行从模型追踪到的要求，符合DO-178C和DO-331，利用Simulink需求，然后利用Simulink报告生成器生成的设计描述文档。金宝app

第3部分：合格模型验证 - 仿真进行仿真和模型覆盖率分析，验证模型，符合DO-178C和DO-331，利用Simulink测试和Simulink覆盖。金宝app

第4部分：合格模型验证 - 标准型进行静态分析，以验证模型标准，一致性和准确性，符合DO-178C和DO-331，利用Simulink检查。金宝app

第5部分：合格模型验证 - 设计错误执行形式化方法分析，以验证模型的一致性和准确性，符合DO-178C和DO-333，使用Simulink设计验证。金宝app

第6部分：合格代码验证 - 模型到代码的使用嵌入式编码和Simulink代码检查，以生金宝app成模型代码和验证符合DO-178C和DO-331的翻译。

第7部分：合格码验证 - 代码标准采用嵌入式编码器和Polyspace Bug的Finder来生成模型代码和验证符合DO-178C和DO-331编码标准。

第8部分：合格码验证 - 代码错误执行形式化方法分析，以验证代码的一致性和准确性，符合DO-178C和DO-333，使用Polyspace代码证明者。

第9部分：合格测试生成使用Si金宝appmulink设计验证和Simulink覆盖，以从模型试验和验证低级别的测试覆盖率，符合DO-178C和DO-331。

第10部分：合格的软件测试使用处理器在该循环能力和代码覆盖分析，以验证可执行目标代码，符合DO-178C和DO-331，使用Simulink测试和Simulink覆盖。金宝app

第11部分：工具资质资格符合DO-178C和DO-330使用DO资格套件MathWorks工具。