视频和网络研讨会系列

在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的过程中使用基于模型的设计和形式化方法，包括Simul万博1manbetxink、Stateflow、嵌入式编码器和DO Qualification Kit。

8:25

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

9:16

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

6:35

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

7:54

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

5:12

第6部分:合格的代码验证-从模型到代码使用Embedded Coder和Simuli万博1manbetxnk Code Inspector从模型生成代码，并验证翻译是否符合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万博1manbetxmulink Design Verifier和Simulink Coverage从模型生成测试，并根据DO-178C和DO-331验证低级测试覆盖率。

8:49

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

3:55

第11部分:刀具鉴定使用DO资格验证套件，使MathWorks工具符合DO- 178c和DO-330。