来自系列:在DO-178C开发过程中使用合格工具
本文介绍了在符合DO-178C、DO-331、DO-333和DO-330的流程中使用基于模型的设计和形式化方法。MathWorks工具可以在DO-178C项目的开发和验证阶段使用。虽然MathWorks工具支持广泛的系统和软金宝app件功能,但推荐在需要认证的嵌入式系统上使用这些工具的有限子集。金宝app动态仿真模块®,stateflow.®此外,Sim金宝appulink Requiremence™用于开发符合DO-331模型的开发和验证的软件设计。金宝appSimulink Report Generator™用于提供DO-331和DO-178C所需的设计描述文档和跟踪数据。使用Simulink Check™,Simulink Test™,Simulink Coveric™金宝app和Simulink Design Verifier™进行设计验证。金宝appSimulink Design Verifier使用正式分析,符合DO-333正式方法。MATLAB CODER™,S金宝appIMULINK CODER™和嵌入式编码器®用于开发系统的源代码。使用Simulink代码Inspector™,PolySpace Bug Finder™和PolySp金宝appace Code Prover™进行验证。PolySpace代码先驱使用正式分析符合DO-333正式方法。使用Simulink测试和Simulink覆盖与处理器在循环测试能力结合执行可执行对象代码的验证。金宝app为了使用这些工具,必须根据DO-330软件工具资格考虑的指导来符合资格。Do Resefication Kit提供了必要的文档和测试工件,以执行需要它的工具的工具资格。
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获得最佳网站性能。其他MathWorks国家网站未优化您所在地的访问。