比尔•波特MathWorks
本课程介绍在符合DO-178C、DO-331、DO-333和DO-330的流程中使用基于模型的设计和正式方法。MathWorks工具可以用于DO-178C项目的开发和验证阶段。虽然MathWorks工具为系统和软件支持广万博1manbetx泛的功能,但是对于在需要认证的嵌入式系统上使用这些工具,推荐使用有限的子集。万博1manbetx动态仿真模块®, Stateflow®,并使用Si万博1manbetxmulink Requirements™开发符合DO-331基于模型的开发与验证的软件设计。万博1manbetxSimulink Report Generator™用于根据DO-331和DO-178C的要求,提供设计描述文档和跟踪数据。通过Simulink Check™、Simulink Test™、Simulink Coverage万博1manbetx™和Simulink design Verifier™对设计进行验证。万博1manbetxSimulink设计验证器采用了符合DO-333形式化方法的形式化分析。MATLAB编码器™,Simu万博1manbetxlink编码器™,嵌入式编码器®用于开发系统的源代码。使用Simulink代码检查器™、Polyspace Bug查找器™和Polyspace代码验证器™对万博1manbetx源代码进行验证。Polyspace代码验证器采用了符合DO-333的形式分析方法。可执行目标代码的验证使用Simulink测试和Simulink覆盖率,并结合处理器在环中的测试能力来执行。万博1manbetx为了使这些工具的使用获得信誉,它们必须在DO-330软件工具合格考虑的指导下进行合格。DO鉴定工具包提供了必要的文档和测试工件,以执行需要它的工具的鉴定。
您也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。
本网站使用cookies改善您的用户体验,个性化内容和广告,并分析网站流量。如您继续使用本网站,即表示您同意我们使用cookies。请参阅我们的隐私政策以了解更多有关cookies及如何更改您的设置。