视频和网络研讨会系列

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

您将学习如何使用一个DO-178C过程MathWorks工具，从需求过程，并与软件的验证结束。此视频系列产品应用涵盖DO-331基于模型的开发和验证，以及DO-333形式化方法。另外，DO-330软件工具资质注意事项将由DO资格套件的解释来解决。

4:59

第1部分：介绍了基于模型的开发DO-178C了解如何与DO-178C的过程兼容使用基于模型的设计和使用Simulink，Stateflow的，嵌入式编码形式化方法和DO资金宝app格套件，DO-331，DO-333和DO-330。

8:25

第2部分：合格模型验证 - 要求跟踪执行从模型追踪到的要求，符合DO-178C和DO-331，利用Simulink需求，然后利用Simulink报告生成器生成的设计描述文档。金宝app

9:16

第3部分：合格模型验证 - 仿真进行仿真和模型覆盖率分析，验证模型，符合DO-178C和DO-331，利用Simulink测试和Simulink覆盖。金宝app

6:35

第4部分：合格模型验证 - 标准型进行静态分析，以验证模型标准，一致性和准确性，符合DO-178C和DO-331，利用Simulink检查。金宝app

7:54

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

5:12

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

4:46

第7部分：合格码验证 - 代码标准采用嵌入式编码器和Polyspace Bug的Finder来生成模型代码和验证符合DO-178C和DO-331编码标准。

7:06

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

10:15

第9部分：合格测试生成使用Si金宝appmulink设计验证和Simulink覆盖，以从模型试验和验证低级别的测试覆盖率，符合DO-178C和DO-331。

8:49

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

3:55

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