这个例子展示了如何开始使用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一直在社交媒体上发布这一特殊功能。
你已经完成了大部分设计,并将“简单的内容”留到最后。
引用作为
帕特精明的(2021)。需求和高级模型检查开始GitHub (https://github.com/mathworks/requirements-advanced-checks-getting-started/releases/tag/2.0)。检索.