视频和网络研讨会系列

在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，stateFlow，Em万博1manbetxbedded编码器以及DO资格套件，了解如何使用基于模型的设计和形式方法。

8:25

第2部分：合格的模型验证 - 要求跟踪使用Simulink要求，按照DO-178C和DO-331的符合DO-178C和DO-331进行跟踪，然后使用Simulink报告生成器生成设计说明文档。万博1manbetx

9:16

Part 3: Qualified Model Verification – Simulation使用Simulink测试和Simulink覆盖范围，执行模拟和模型覆盖分析以符合DO-178C和DO-331的验证模型。万博1manbetx

6:35

第4部分：合格的模型验证 - 模型标准使用Simulink检查执行静态分析以符合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错误查找器从模型生成代码，并根据DO-178C和DO-331验证编码标准。

7:06

第8部分：合格的代码验证 - 代码错误使用Polyspace代码供体执行正式方法分析以符合DO-178C和DO-333的验证代码一致性和准确性。

10:15

第9部分：合格的测试生成使用仿真万博1manbetx软件设计仿真软件验证器和覆盖率to generate tests from models and verify low-level test coverage, in compliance with DO-178C and DO-331.

8:49

第10部分：合格的软件测试使用Simulink Test和Simulink覆盖范围，请使用循环功能和代码覆盖范围分析，以符合DO-178C和DO-331的验证可执行对象代码。万博1manbetx

3:55

第11部分：工具资格使用DO资格套件符合DO-178C和DO-330的资格数学工具。