在DO-178C开发过程中使用合格的工具,第1部分:DO-178C的基于模型的开发介绍
本文介绍了在遵循DO-178C、DO-331、DO-333和DO-330的过程中使用基于模型的设计和形式化方法。MathWorks工具可以在DO-178C项目的开发和验证阶段使用。虽然MathWorks工具支持系统和软件的广泛功能,但是对于在需要认证的嵌入式系统上使用这些工具,推荐有一些有限的子集。动态仿真模块®, Stateflow®,以及Requirements Toolbox™用于开发符合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代码检查器™、Polyspace Bug查找器™和Polyspace代码验证器™对源代码进行验证。Polyspace Code Prover使用符合DO-333形式化方法的形式化分析。对可执行目标代码的验证使用Simulink Test和Simulink Coverage,并结合处理器在环测试功能。为了使用这些工具,他们必须在DO-330软件工具资格考虑的指导下获得资格。DO确认套件提供了必要的文档和测试工件,以执行需要它的工具的工具确认。
您也可以从以下列表中选择网站:
如何获得最佳的网站性能
选择中国网站(中文或英文)以获得最佳的网站表现。其他MathWorks国家网站没有针对从您的位置访问进行优化。