比尔•波特MathWorks
本文介绍了在符合DO-178C、DO-331、DO-333和DO-330的流程中使用基于模型的设计和形式化方法。MathWorks工具可以在DO-178C项目的开发和验证阶段使用。虽然MathWorks工具支持广泛的系统和软金宝app件功能,但推荐在需要认证的嵌入式系统上使用这些工具的有限子集。金宝app动态仿真模块®, Stateflow®,和Simu金宝applink Requirements™用于按照DO-331基于模型的开发和验证来开发软件的设计。金宝appSimulink Report Generator™用于按照DO-331和DO-178C的要求提供设计描述文档和跟踪数据。使用Simulink Check™、Simulink Test™、Simulink Coverage金宝app™和Simulink design Verifier™进行设计验证。金宝appSimulink设计验证器采用了符合DO-333形式化方法的形式化分析。MATLAB编码器™,Simu金宝applink编码器™,嵌入式编码器®用于开发系统的源代码。使用Simulink code Inspector™、Polyspace Bug Finder™和Po金宝applyspace code Prover来验证源代码。Polyspace Code Prover使用了符合DO-333形式化方法的形式化分析。可执行目标代码的验证是使用Simulink Test和Simulink Coverage结合处理器在环测试能力来执行的。金宝app为了获得使用这些工具的荣誉,它们必须在DO-330软件工具鉴定注意事项的指导下进行鉴定。DO确认套件提供必要的文档和测试工件,以执行需要工具确认的工具。
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。