视频和网络研讨会系列

在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资格套件。

8:25

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

9:16

第3部分:合格模型验证-仿真根据DO-178C和DO-331，使用Simulink Test和Simulink coverage进行仿真和模型覆盖分析，以验证模型。万博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部分:合格代码验证-代码模型使用嵌入式编码器和Simulink代码检查器从万博1manbetx模型生成代码，并验证翻译符合DO-178C和DO-331。

4:46

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

7:06

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

10:15

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

8:49

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

3:55

第11部分:工具鉴定使用DO认证套件对MathWorks工具进行符合DO- 178c和DO-330的认证。