这个例子展示了如何开始使用MathWorks的模型验证和验证工具。它使用了一个虚构的场景，该场景基于嵌入式系统生产团队中一个典型的Simulink用户的元素。万博1manbetx这个例子被打包成一个MATLAB项目。它使用以下产品:s manbetx 845

-MATLAB
——万博1manbetx仿真软件
——Stateflow
——万博1manbetx仿真软件需求
——万博1manbetx仿真软件检查
- 万博1manbetxSimulink设计验证器*

* 万博1manbetxSimulink Coverage是Simulink Design Verifier所必需的产品。这个例子需要Simulink Coverage许万博1manbetx可证，但是没有显示Simulink Coverage特性。

开始:

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

如果您没有这些产品，请申请免费试用:s manbetx 845

//www.tianjin-qmedu.com/campaigns/s manbetx 845products/trials.html

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

本示例使用基于典型工程师经验的虚构场景进行演示。使用实际产品或公司名称完全是巧合和无意的。本示例的内容不构成真实设计。s manbetx 845

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

你的团队,设计了控制系统软件,即将完成项目的“桌面模拟”阶段之前的万众期待的“硬件在回路”全新先进的测试设备的测试阶段隐藏的其他公司。每个人都很兴奋!

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

你已经完成了大部分设计，并将“简单的内容”留到最后。