Simulink Verification and Validation

建模标准合规性检查

Simulink Verification and Validation 提供以下检查:

  • MathWorks 汽车咨询委员会
  • DO-178B
  • IEC 61508 (ISO 26262)
  • 需求一致性

可以使用模型顾问执行单个检查或一组检查。每个检查都带有解决一致性的详细文档和建议;有些检查还提供额外的配置选项。

Violation in highlighted model block found through modeling standards checks in Model Advisor.
模型顾问中进行建模标准检查时,在发现冲突的模块会突出显示。

可以使用模型顾问配置编辑器修改软件自带检查标准,它能够:

  • 选择检查组合
  • 将选中的检查保存为新配置
  • 从已有配置中导入或应用新检查
  • 将自定义检查添加到配置中
  • 导出并部署配置

脚本 API 可让您编写自定义检查。产品文档中包含自定义检查范例。

要自动进行合规性检查,您可以在单机上运行批处理模式,或在多台机器上与 Parallel Computing Toolbox™ 并行执行。您可以在模型顾问或分析运行结束后生成的 HTML 报告中查看结果。

在使用 Simulink DO Qualification Kit 时,您可以在模型顾问中启用 DO-178B 检查,以用于 DO-178B 或 DO-254 认证项目。

下一页: 组件测试

试用 Simulink Verification and Validation

获取试用版软件

Best Practices for DO-178 Compliant Software using Model-Based Design

观看网上技术交流会录像