Simulink Verification and Validation

使用 Simulink Verification and Validation

需求管理界面创建通过 Simulink® 模块连接外部文档的链接。这些链接可用于需求审核、设计审核、可追溯性分析和项目文档。

使用需求管理界面,您可以:

  • 将 Simulink 和 Stateflow® 对象与需求关联起来
  • 从 Simulink 或 Stateflow 对象导航到需求
  • 使用自定义的突出显示符号和标记检查模型中的需求链接
  • 创建 Simulink 模型报告,显示哪些对象链接到哪些需求

Simulink Verification and Validation 为检查是否符合风格指南和建模标准提供了现成的库。这些检查已经过预先配置,支持 MathWorks 汽车咨询委员会 (MAAB) 风格指南及 DO-178B 和 IEC 61508 标准,可用于开发高完整性软件。

通过使用模型顾问和建模标准检查,您可以:

  • 对模型或模型组件执行检查,以验证其符合建模指南
  • 创建和共享检查配置
  • 使用命令行 API 自动执行检查
  • 为新的建模风格指南编写自定义检查

Simulink Verification and Validation 提供了组件测试功能,可以生成框架模型并记录现有模型的数据,以帮助您运行模型组件仿真。您可以:

  • 组件模型自动测试
  • 将子系统或子图表内容提取到新模型中进行分析
  • 在仿真中记录输入端口数据
  • 使用测试用例对模型仿真
  • 对生成的代码运行测试
  • 收集并分析模型覆盖率
下一页: 需求跟踪到模型、测试和生成代码

试用 Simulink Verification and Validation

获取试用版软件

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

观看网上技术交流会录像