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

——MATLAB
-模万博1manbetx拟
-状态流
-模万博1manbetx拟链路要求
-模万博1manbetx拟链路检查
-S万博1manbetximulink设计验证程序*

*S万博1manbetximulink覆盖范围是Simulink Design Verifier的必备产品。此示例需要Simulink覆盖许可证，但不显示Simulink覆盖功能。

要开始，请执行以下操作：

1） 将示例解压缩到工作目录
2） 开放式MATLAB
3） 导航到工作目录
4） 双击打开文件“Designer_Work_Flow.prj”，或者从MATLAB命令窗口输入“simulinkproject（'Designer_Work_Flow.prj'）”万博1manbetx

如果您无法使用这些产品，请申请免费试用：s manbetx 845

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

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

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

您是Farnswerth Automotive的工程师，目前在一个秘密项目团队中，开发一款单乘员5级自动驾驶汽车，许多人称之为Pod。您最近完成了名为Destiny的原型工作，这是一款4级车辆。

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

您的众多职责之一是自适应巡航控制功能，该功能将使吊舱与其竞争对手区别开来，因为它将允许多个吊舱以100 km/h的速度彼此相距1米。您的首席执行官已经在社交媒体上发布了几个月了。

你已经完成了大部分设计，并将“简单的内容”留到最后。这部分的设计是一个简单的修改旧巡航控制设计从命运号计划。使用旧的设计作为基准可以节省您的时间。