从系列中:在DO-178C开发过程中使用合格的工具
比尔·波特
本文介绍了在符合DO-178C、DO-331、DO-333和DO-330的流程中使用基于模型的设计和形式化方法。MathWorks工具可用于DO-178C项目的开发和验证阶段。虽然MathWorks工具支持系统和软件的广泛功能,但建议在需要认证的嵌入式系统上使用该工具的子集有限。模拟万博1manbetx万博1manbetx®,Stateflow®,以及Sim万博1manbetxulink要求™ 用于开发设计的软件符合DO-331基于模型的开发和验证。Simulink报表生成器™ 按照DO-331和DO-178C的要求,用于提供设计说明文件和跟踪数据。使用Simulink检查对设计进行验证™, 模拟试验™, 模拟链路覆盖™, 和Simulink设计验证程序™. Simulink设计验证程序使用符合DO-333形式化方法的形式化分析™, Simulink编码器™, 嵌入式编码器®用于开发系统的源代码。使用Simulink代码检查器对源代码进行验证™, 多空间Bug查找器™, 和多空间码验证器™. Polyspace Code Prover使用符合DO-333形式化方法的形式化分析。万博1manbetx可执行目标代码的验证使用Simulink测试和Simulink覆盖率以及处理器在环测试功能来执行。为了获得使用这些工具的荣誉,他们必须在DO-330软件工具鉴定考虑的指导下进行鉴定。DO鉴定工具包提供必要的文档和测试工件,以对需要的工具执行工具鉴定。
您还可以从以下列表中选择网站:
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家/地区网站未针对您所在地的访问进行优化。