比尔·波特,MathWorks公司
显示符合设计为低层次的需求和软件架构标准是DO-178C的目标。当使用基于模型的设计,DO-331需要显示建模标准,当模型被用作低层次的需求和软件架构的一致性。金宝appSimulink的®文档提供了高集成度模拟指南和Simulink检查™提供能力相对于这些准则自动验证模型。金宝app这个检查功能被包括用于模型范围内的设置,代码生成设置,模拟诊断设置,Simulink模块,状态流金宝app®构建和MATLAB®块码。还提供了检查,以验证由Simulink的代码检查允许™为Simulink模块,状态流构建体,和MATLAB块码的模型符合约束子集。金宝app这些检查可以直接从Simulink的代码检查UI运行,或者在Simulink检查UI金宝app。甲指示报告的合格/不合格的每个检查的将为每个仿真模型来生成。金宝app该报告将指出,模型中的任何不符合项被发现。此报告可以以各种格式,如RTF时,Word,HTML或PDF进行长期归档提供。该DO资格套件提供了必要的文物资格自动标准检查和Simulink的检查和Simulink代码检查报告。金宝app
您还可以选择从下面的列表中的网站:
选择最佳的网站性能的中国网站(在中国或英文)。其他MathWorks的国家网站都没有从您的位置访问进行了优化。
本网站使用Cookies来改善您的用户体验,个性化的内容和广告,并分析网站流量。通过继续使用本网站,您同意我们使用Cookie。请参阅我们的隐私政策要了解更多关于cookie和如何更改设置。