视频和网络研讨会系列

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

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

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

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

第3部分:合格模型验证 - 模拟根据DO-178C和DO-331,使用Simulink测试和Simulink覆盖率,执行模拟和模型覆盖率分析,以验证模型。金宝app

第4部分:合格模型验证-模型标准根据DO-178C和DO-331,使用Simulink检查执行静态分析,以验证模型标准、一致性和准确性。金宝app

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

第6部分:合格代码验证-从模型到代码使用嵌入式编码器和Simulink代码检查器从金宝app模型生成代码,并验证翻译是否符合DO-178C和DO-331。

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

第8部分:合格代码验证-代码错误根据DO-178C和DO-333,使用Polyspace代码验证程序,执行正式的方法分析,以验证代码的一致性和准确性。

第9部分:合格测试生成使用Si金宝appmulink Design Verifier和Simulink Coverage来从模型生成测试,并符合DO-178C和DO-331,验证低级测试覆盖范围。

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

第11部分:工具鉴定使用DO鉴定工具包,按照DO-178C和DO-330鉴定MathWorks工具。