比尔•奥尔德里奇MathWorks
Ad hoc仿真是了解典型运行场景下系统的第一步,但它已不足以验证不断增加的规模和复杂性的设计。万博1manbetx动态仿真模块®验证产品扩展并补充模拟,以s manbetx 845提供额外的严密性、自动化和洞察力,以确保您的设计在功能上是正确的,符合标准,并在目标硬件上忠实地实现。这个演讲解释了这些工具的远景和扩展功能,用于动态测试和基于正式方法的静态分析。Bill还讨论了如何在整个生产开发过程中系统地应用这些技术,以实现更高的质量和生产力。
注意:在R2万博1manbetx017b中,Simulink验证和确认过渡到Simulink检查、Simulink覆盖和Simulink要求。
记录:2016年5月12日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站表现。其他MathWorks国家站点不适合来自您所在位置的访问。