这个例子展示了如何开始使用MathWorks的模型验证和验证工具。它使用了一个虚构的场景，该场景基于嵌入式系统生产团队中典型的Simulink用户的元素。金宝app该示例被打包为MATLAB项目。它使用以下产品:下载188bet金宝搏

——MATLAB
——金宝app仿真软件
——Stateflow
- 金宝appSimulink需求
- 金宝appSimulink检查
- 金宝appSimulink设计验证器*

* 金宝appSimulink覆盖是Simulink设计验证器的必需产品。本例需要Simulink Coverage许可，金宝app但不显示Simulink Coverage特性。

开始:

1)将示例解压缩到一个工作目录
2)打开MATLAB
3)进入工作目录
4)打开“Designer_Work_Flow”文件。通过双击或在MATLAB命令窗口中输入“simulinkproject('Designer_Work_Flow.prj')”金宝app

如果您无法使用这些产品，请申请免费试用:下载188bet金宝搏

//www.tatmou.com/campaigns/下载188bet金宝搏products/trials.html

==============================================================================

为了演示，本示例使用了一个基于典型工程师经验的虚构场景。任何使用实际产品或公司的名称完全是巧合和无意的。下载188bet金宝搏本例的内容不构成真正的设计。

你是Farnswerth Automotive公司的工程师，在一个秘密项目团队中开发一款单人乘坐的5级自动驾驶汽车，许多人称之为“Pod”。

您的设计控制系统软件的团队即将完成项目的“桌面模拟”阶段，然后进入备受期待的“硬件在循环”测试阶段，该阶段将在全新的最先进的测试设施中进行，隐藏在公司的其他部门之外。每个人都很兴奋!

你的众多职责之一是自适应巡航控制功能，这将使Pod在竞争中脱颖而出，因为它将允许多个Pod以100公里/小时的速度在1米内相互移动。你们的CEO几个月来一直在社交媒体上发布这一特定功能。

你已经完成了大部分设计，并把“简单的东西”留到了最后。