与基于模型的设计一起使用，Simulink金宝app®verification and validation products provide additional rigor, automation, and insight to verify that your designs are functionally correct, in compliance with standards and guidelines, and correctly implemented on target hardware.
访问这些资源要了解如何：
- 自动化手动步骤检查符合标准（例如ISO 26262，DO-178，IEC 61508和IEC 62304）
- Capture requirements and establish traceability between requirements, design, test, and code
- 证明您的设计满足要求并自动生成测试
- 使用静态分析和正式方法检查模型和代码的符合性
- Measure design complexity and quality
