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

您将学习如何在DO-178C过程中使用MathWorks工具，从需求过程开始，到软件验证结束。本系列视频涵盖了基于DO-331模型的开发和验证，以及DO-333形式化方法。此外，DO-330软件工具鉴定注意事项将通过DO鉴定工具包的解释来解决。

4： 59个

第一部分：DO-178C基于模型的开发简介了解如何在符合DO-178C、DO-331、DO-333和DO-330的过程中，使用Simulink、Stateflow、嵌入金宝app式编码器和DO限定工具包进行基于模型的设计和形式化方法。

8： 25个

第2部分：合格模型验证-需求跟踪根据DO-178C和DO-331，使用Simulink需求，从模型到需求进行跟踪，然后使用Simulink报表生成器生成设计说明文件。金宝app

9： 16个

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

6： 35岁

第4部分：合格模型验证-模型标准使用Simulink检查进行静态分析，以验证模型标准、一致性和准确性，符合DO-178C和DO-331。金宝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部分：合格测试生成根据DO金宝app-178C和DO-331，使用Simulink设计验证器和Simulink覆盖率从模型生成测试并验证低级测试覆盖率。

8： 49个

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

3： 55岁

第11部分：工具鉴定根据DO-178C和DO-330，使用DO鉴定工具包对MathWorks工具进行鉴定。