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

第2部分:合格的模型验证——需求跟踪使用Simulink需求执行从模型到需求的跟踪，遵循DO-178C和DO-331，然后使用Simulink报告生成器生成设计说明文档。万博1manbetx

第3部分：合格模型验证 - 仿真利用Simulink Test和Simulink coverage进行仿真和模型覆盖率分析，验证模型是否符合DO-178C和DO-331的要求。万博1manbetx

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

第5部分：合格模型验证 - 设计错误使用Simulink Design Verifier进行形式化方法分析，验证模型的一致性和准确性，符合DO-178C和DO-333的要求。万博1manbetx

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

第7部分:合格的代码验证-代码标准使用嵌入式编码器和Polyspace Bug Finder从模型中生成代码，并验证编码标准是否符合DO-178C和DO-331。

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

第9部分：合格测试生成使用Si万博1manbetxmulink设计验证器和Simulink覆盖从模型生成测试，并验证低级测试覆盖，符合DO-178C和DO-331。

第10部分：合格的软件测试使用处理器在循环中的能力和代码覆盖率分析来验证可执行的目标代码，符合DO-178C和DO-331，使用Simulink测试和Simulink覆盖率。万博1manbetx

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