这个例子展示了如何开始使用MathWorks的模型验证和验证工具。它使用了一个虚构的场景,该场景基于嵌入式系统生产团队中一个典型的Simulink用户的元素。金宝app这个例子被打包成一个MATLAB项目。它使用以下产品:下载188bet金宝搏
——MATLAB
——金宝app仿真软件
——Stateflow
——金宝app仿真软件需求
——金宝app仿真软件检查
- 金宝appSimulink设计验证器*
* 金宝appSimulink Coverage是Simulink Design Verifier所必需的产品。这个例子需要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金宝搏这个例子的内容并不构成一个真正的设计。
你是法恩斯沃思汽车公司的一名工程师,在一个秘密的项目团队中开发一款单座5级自动驾驶汽车,很多人称之为Pod。
你的团队,设计了控制系统软件,即将完成项目的“桌面模拟”阶段之前的万众期待的“硬件在回路”全新先进的测试设备的测试阶段隐藏的其他公司。每个人都很兴奋!
您的众多职责之一是自适应巡航控制功能,这将使Pod从竞争中脱颖而出,因为它将允许多个Pod以100公里/小时的速度在1米内彼此移动。几个月来,你们的CEO一直在社交媒体上发布这一特殊功能。
你已经完成了大部分设计,并将“简单的内容”留到最后。
引用作为
帕特精明的(2021)。需求和高级模型检查开始GitHub (https://github.com/mathworks/requirements-advanced-checks-getting-started/releases/tag/2.0)。检索.