模型验证、代码生成以及硬件在环
在使用基于模型的设计进行嵌入式软件开发过程中,模型验证是保障软件品质的重要环节,代码生成是提高软件开发效率的重要手段,而硬件在环为控制器进入产品化之前的系统确认提供了最安全、便捷的方案。这一部分,我们会向您介绍如何使用Simulink Verification and Validation™和Simulink Design Verifier™ 实现模型验证, 使用Embedded Coder实现代码生成,以及使用xPC Target实现硬件在环。
提醒:Simulink Verification and Validation 在R2017b版本转变到 Simulink Check、Simulink Coverage和Simulink Requirement中。
录制日期: 2013 年 10 月 29 日
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)