Simulink Verification and Validation

验证模型和生成代码

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

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

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

Connecting Simulink with Other Simulation Frameworks

观看网上技术交流会录像

试用 Simulink Verification and Validation

获取试用版软件
Nishaat Vasi

新增功能

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