比尔•奥尔德里奇MathWorks
特设模拟是在典型操作场景下了解系统的第一步,但它已经不足以验证日益增大的规模和复杂性的设计。万博1manbetx动态仿真模块®验证产品扩展和补充了模拟,s manbetx 845以提供额外的严密性、自动化,并洞察您的设计在功能上是正确的,符合标准,并在目标硬件上忠实地实现。本次演讲解释了这些工具在动态测试和基于正式方法的静态分析方面的远景和扩展功能。比尔还讨论了如何在整个生产开发过程中系统地应用这些技术,以实现更高的质量和生产力。
注:在R20万博1manbetx17b中,Simulink Verification和Validation已过渡到Simulink Check、Simulink Coverage和Simulink Requirements。
录音时间:2016年5月12日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。