在DO-178C开发过程中使用合格的工具,第1部分:DO-178C基于模型的开发简介
从系列中:在DO-178C开发过程中使用合格的工具
本文介绍了在遵从DO-178C、DO-331、DO-333和DO-330的流程中使用基于模型的设计和形式化方法。MathWorks工具可以用于DO-178C项目的开发和验证阶段。虽然MathWorks工具支持广泛的系统和软件功能,但对于在需要认证的嵌入式系统上使用这些工具,建议使用有限的子集。动态仿真模块®, Stateflow®,以及“需求工具箱™”,用于开发符合DO-331基于模型的开发与验证的软件设计。根据DO-331和DO-178C的要求,Simulink Report Generator™用于提供设计描述文档和跟踪数据。设计验证使用Simulink Check™、Simulink Test™、Simulink Coverage™和Simulink design Verifier™进行。Simulink Design Verifier使用符合DO-333形式化方法的形式化分析。MATLAB Coder™,Simulink Coder™和嵌入式Coder®用于开发系统的源代码。使用Simulink code Inspector™、Polyspace Bug Finder™和Polyspace code Prover™执行源代码的验证。Polyspace Code Prover使用符合DO-333形式化方法的形式化分析。可执行目标代码的验证使用Simulink Test和Simulink Coverage以及处理器在环测试功能来执行。为了获得使用这些工具的荣誉,他们必须在DO-330软件工具资格考虑的指导下获得资格。DO鉴定工具包提供了必要的文档和测试工件,以对需要它的工具进行工具鉴定。
您也可以从以下列表中选择一个网站:
如何获得最佳的网站性能
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。