用于系统验证和验证的MathWorks视觉
比尔•奥尔德里奇MathWorks
Ad hoc模拟是获得典型操作场景下的系统理解的第一步，但它已经不足以验证日益增大的规模和复杂性的设计。万博1manbetx动态仿真模块®验证产品扩展和补充了模拟，s manbetx 845以提供额外的严密性、自动化，并洞察您的设计在功能上是正确的，符合标准，并忠实地在目标硬件上实现。本文将解释这些工具的远景和扩展功能，用于动态测试和基于正式方法的静态分析。Bill还讨论了如何在整个生产开发过程中系统地应用这些技术，以达到更高的质量和生产力。
注:在R20万博1manbetx17b中，Simulink验证和验证转换为Simulink检查、Simulink覆盖和Simulink要求。
记录时间:2016年5月12日
其他资源
相关视频和网络研讨会
您也可以从以下列表中选择一个网站: