视频和网络研讨会系列

在DO-178C开发过程中使用合格的工具

您将学习如何在DO-178C过程中使用MathWorks工具，从需求过程开始，到软件验证结束。本视频系列涵盖了DO-331基于模型的开发和验证，以及DO-333形式化方法。此外，DO-330软件工具鉴定注意事项将通过DO鉴定工具包的说明来说明。

4：59

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

8：25

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

9：16

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

6：35

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

7：54

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

5：12

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

4：46

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

7：06

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

10：15

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

49

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

55分钟

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