第1部分:介绍DO-178C的基于模型的开发了解如何在符合DO- 178c、DO-331、DO-333和DO-330的流程中，使用Simulink、Stateflow、嵌金宝app入式编码器和DO限定工具包使用基于模型的设计和形式化方法。

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

第三部分:合格的模型验证——仿真根据DO-178C和DO-331的要求，使用Simulink测试和Simulink覆盖率，进行仿真和模型覆盖率分析，验证模型。金宝app

第4部分:合格的模型验证-模型标准使用Simulink Check执行静态分析，以验证模型标准、一致性和准确性，符合DO-178C和DO-331。金宝app

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

第6部分:合格的代码验证——从模型到代码使用嵌入式编码器和Simulink代码检查器从金宝app模型生成代码，并验证转换是否符合DO-178C和DO-331。

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

第8部分:合格的代码验证——代码错误使用Polyspace代码验证器，对DO-178C和DO-333进行形式方法分析，以验证代码的一致性和准确性。

第9部分:合格的测试生成根据DO金宝app-178C和DO-331，使用Simulink设计验证器和Simulink覆盖从模型生成测试，并验证低级测试覆盖。

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

第11部分:工具鉴定使用DO限定工具包，使MathWorks工具符合DO- 178c和DO-330。