这个例子展示了如何开始使用MathWorks的模型验证和验证工具。它使用了一个虚构的场景，该场景基于嵌入式系统生产团队中典型的Simulink用户的元素。该示例被打包为MATLAB项目。它使用以下产品:2022世界杯八强谁会赢？

——MATLAB
——仿真软件
——Stateflow
——仿真软件需求
——仿真软件检查
- Simulink设计验证器

* Simulink Coverage是Simulink Design verification的必备产品。这个例子需要一个Simulink Coverage许可证，但是没有显示Simulink Coverage特性。

开始:

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

如果您没有权限使用这些产品，请申请免费试用:2022世界杯八强谁会赢？

//www.ru-cchi.com/campaigns/2022世界杯八强谁会赢？products/trials.html

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

本示例使用基于典型工程师经验的虚构场景进行演示。任何实际产品或公司名称的使用都完全是巧合和无意的。2022世界杯八强谁会赢？本例的内容不构成真正的设计。

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

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

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

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