这个例子说明了如何开始使用MathWorks公司的模型检验和验证工具。它采用了基于对嵌入式系统的生产队一个典型的Simulink用户的元素的虚构场景。金宝app这个例子打包为Simulink的项目。金宝app它使用以下产品:下载188bet金宝搏
- MATLAB
- 金宝app Simulink的
- Stateflow的
- 金宝app Simulink的要求
- 金宝app Simulink的检查
- 金宝app Simulink设计验证*
* 金宝appSimulink的覆盖是Simulink设计验证所需的产品。这个例子需要一个Simulink的覆盖许可证,但金宝app不显示Simulink的覆盖功能。
开始:
1)解压缩至例如工作目录
2)打开MATLAB
3)浏览到工作目录
4)打开文件“Designer_Work_Flow.prj”通过双击或从MATLAB命令窗口中输入“simulinkproject(‘Designer_Work_Flow.prj’)”金宝app
如果你没有获得这些产品,请申请免费试用:下载188bet金宝搏
//www.tatmou.com/campaigns/下载188bet金宝搏products/trials.html
==============================================================================
此示例使用基于典型的工程师的演示的目的经历一个虚构的场景。任何使用实际的产品或公司的名称是纯属巧合和无意。下载188bet金宝搏这个例子中的内容不构成真正的设计。
你是在Farnswerth汽车工程师,是一个秘密的项目组开发的单乘员5级自主车型,其中许多呼叫的吊舱。你最近完成了一个叫做命运的原型,这是一个4级车辆的工作。
你的团队,其设计的控制系统软件,即将完成该项目的“桌面模拟”阶段上移动到万众瞩目的“环路内硬件”前的品牌测试阶段新的国家的最先进的测试设备从公司的其他隐藏起来。每个人都兴奋了!
你的一个很多责任是自适应巡航控制功能,它应该分开来吊舱从它的竞争,因为它将使1米彼此内的多个荚行程在100公里/小时你的CEO已经发布,现在在社交媒体上此特定功能好几个月了。
你已经完成了大部分的设计,并已保存的“简单的东西”的尽头。设计这部分是从命运程序旧的巡航控制系统设计的一个简单的修改。使用旧型号为基准可以节省您的时间。
专利的Canny(2020)。入门型号验证与确认(//www.tatmou.com/matlabcentral/fileexchange/71399-getting-started-with-model-verification-and-validation),MATLAB中央文件交换。检索。