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

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

* 金宝appSimulink Coverage是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汽车公司的一名工程师，在一个秘密项目团队中开发一款单人5级自动驾驶汽车，很多人称之为The Pod。你最近完成了一个名为《命运》的原型，这是一个4级的交通工具。

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

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

您已完成大部分设计，并为最终保存了“简单的东西”。这部分设计是从命运程序的旧巡航控制设计简单修改。使用旧设计作为基线可以节省您的时间。