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