比尔•波特MathWorks
本文介绍了在符合DO-178C、DO-331、DO-333和DO-330的流程中使用基于模型的设计和形式化方法。MathWorks工具可用于DO-178C项目的开发和验证阶段。虽然MathWorks工具支持系统和软件的广泛功能,但建议在需要认证的嵌入式系统上使用该工具的子集有限。模拟万博1manbetx万博1manbetx®, Stateflow®,和Simu万博1manbetxlink 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 code Inspector™、Polyspace Bug Finder™和Po万博1manbetxlyspace code Prover来验证源代码。Polyspace Code Prover使用了符合DO-333形式化方法的形式化分析。可执行目标代码的验证是使用Simulink Test和Simulink Coverage结合处理器在环测试能力来执行的。万博1manbetx为了获得使用这些工具的荣誉,它们必须在DO-330软件工具鉴定注意事项的指导下进行鉴定。DO确认套件提供必要的文档和测试工件,以执行需要工具确认的工具。
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。