来自系列:在DO-178C开发过程中使用合格工具
比尔波特,Mathworks
这是在符合DO-178C,DO-331,DO-333和DO-330的过程中使用基于模型的设计和形式方法的介绍。MathWorks工具可用于DO-178C项目的开发和验证阶段。虽然MathWorks工具支持各种系统和软件金宝app的广泛功能,但建议使用有限的子集,用于使用需要认证的嵌入式系统上的工具。金宝appsimulink.®,stateflow.®,Simul金宝appink Requiremence™用于开发软件的设计,符合基于DO-331模型的开发和验证。金宝appSimulink Report Gener™用于提供DO-331和DO-178C所需的设计描述文档和跟踪数据。使用Simulink Check™,Simulink Test™,Simulink Coveric™金宝app和Simulink Design Verifier™进行设计验证。金宝appSimulink Design Verifier使用正式分析,符合DO-333正式方法。MATLAB编码器™,SIMU金宝appLINK CODER™和嵌入式编码器®用于开发系统的源代码。使用Simulink代码Inspector™,PolySpace Bug Finder™和PolySp金宝appace Code Prover™进行源代码验证。PolySpace代码先驱使用正式分析,符合DO-333正式方法。使用Simulink Test和Simulink Ruckage结合处理器 - 循环测试能力来执行可执行对象代码的验证。金宝app为使用这些工具,他们必须根据DO-330软件工具资格考虑的指导资格获得资格。DO验证套件提供了必要的文档和测试工件,以便为需要它的工具执行工具资格。
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。