第1部分:介绍基于模型的DO-178C开发学习如何在符合DO- 178c、DO-331、DO-333和DO-330的流程中使用Simulink、statflow、Emb万博1manbetxedded Coder和DO Qualification Kit的基于模型的设计和形式化方法。

第2部分:合格模型验证-需求追踪按照DO-178C和DO-331的要求，使用Simulink requirements执行从模型到需求的跟踪，然后使用Simulink Report Generator生成设计描述万博1manbetx文档。

第3部分:合格模型验证-模拟按照DO-178C和DO-331的要求，使用Simulink Test和Simulink coverage进行仿真和模型覆盖分析，以验证模型。万博1manbetx

第4部分:合格的模型验证-模型标准使用Simulink Check进行静态分析，验证模型标准、一致性和准确性，符合DO-178C和DO-331的要求。万博1manbetx

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

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

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

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

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

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

第11部分:工具鉴定使用DO确认套件使MathWorks工具符合DO- 178c和DO-330的要求。