Simulink Verification and Validation

验证模型和生成代码

Simulink Verification and Validation™ 自动进行需求追溯、建模标准合规性分析和模型覆盖率分析。

您可以创建详细的需求可追溯性报告、编写建模检查标准及开发检查配置,从而与工程团队一起分享。还可以将需求文档链接到模型、测试用例和生成的代码。您可以生成框架模型以测试模型组件和代码,并使用模型覆盖率分析确保模型经过完整测试。

Simulink Verification and Validation 提供了 DO-178、ISO 26262、IEC 61508 及相关行业标准的建模标准检查。还可以通过 DO Qualification KitIEC Certification Kit 获得额外支持。

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

观看网上技术交流会录像

试用 Simulink Verification and Validation

获取试用版软件
Nishaat Vasi

新增功能

来自 Nishaat Vasi、 Simulink Verification and Validation 技术专家