在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的过程中使用模型的设计和正式方法，以及使用Simulin万博1manbetxk，StateFlow，嵌入式编码器和DO认证套件。

8:25

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

9:16

第3部分：合格模型验证 - 模拟使用Simulink测试和Simulink覆盖，执行模拟和模型覆盖分析以验证DO-178C和DO-331的模型。万博1manbetx

6:35

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

7:54

第5部分：合格的模型验证 - 设计错误使用Simulink Design Verifier执行正式的方法分析以验证模型一致性和准确性和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部分：合格的代码验证 - 代码错误执行正式的方法分析，以验证使用PolySpace代码先驱的代码一致性和准确性，符合DO-178C和DO-333。

10:15

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

8:49

第10部分：合格的软件测试使用处理器 - 循环功能和代码覆盖率分析以符合DO-178C和DO-331的可执行对象代码，同时考虑和Simulink覆盖。万博1manbetx

3:55

第11部分：工具资格符合DO-178C和DO-330的符合DO-178C和DO-330的Mathworks工具。