文件交换

图像缩略图

要求和高级模型检查入门

2.0版(3.71 MB) 帕特凯利
此示例显示了如何开始MathWorks的模型验证和验证工具

454下载

更新2021年4月21日

来自GitHub.

在github上查看许可证

此示例显示了如何开始使用MathWorks的模型验证和验证工具。它使用虚构方案,该方案基于嵌入式系统制作团队的典型Simulink用户的元素。金宝app该示例包装为Matlab项目。它使用以下产品:下载188bet金宝搏

- Matlab.
- 金宝app Simulink.
- eventsflow.
- 金宝app Simulink要求
- 金宝app Simulink检查
- 金宝app Simulink Design Verifier *

* 金宝appSimulink覆盖范围是Simulink设计验证程序的必需品。此示例需要Simulink覆盖许可证,但未显示S金宝appimulink覆盖功能。

开始:

1)将示例解压缩到工作目录
2)打开matlab
3)导航到工作目录
4)通过双击或从MATLAB命令窗口打开文件“designer_work_flow.prj”,输入“simulinkproject('designer_work_flow.prj')”金宝app

如果您无法访问这些产品,请申请免费试用:下载188bet金宝搏

//www.tatmou.com/campaigns/下载188bet金宝搏products/trials.html.

==============================================================================.

此示例基于典型工程师的示范目的的体验,使用虚构方案。任何使用实际产品或公司的使用都完全是巧合的和无意的。下载188bet金宝搏此示例的内容不构成真实设计。

您是Farnswerth Automotive的工程师,并在一个秘密项目团队上开发一个单独的5级自治车辆,许多人称之为豆荚。

设计控制系统软件的团队即将完成项目的“桌面仿真”阶段,然后继续在全新的最先进的“环路中的环路中的循环中的硬件”中的“桌面仿真”阶段测试设施隐藏在公司其余部分。每个人都很兴奋!

您的许多职责之一是自适应巡航控制功能,应将吊舱与竞争对手设置,因为它将允许多个吊舱在100 km / h彼此的1米范围内行驶。您的首席执行官已在现在几个月内发布了社交媒体上的这个特定功能。

您已完成大部分设计,并为最终保存了“简单的东西”。

引用

Pat Canny(2021)。要求和高级模型检查入门(https://github.com/mathworks/requirements - addvings-checks-getting-started/releases/tag/2.0),github。检索到

Matlab释放兼容性
用R2021A创建
与R2021A兼容
平台兼容性
视窗 苹果系统 Linux.

社区宝藏狩猎

找到Matlab Central中的宝藏,并发现社区如何帮助您!

开始狩猎!
在此GitHub附加组件中查看或报告问题,访问github存储库
在此GitHub附加组件中查看或报告问题,访问github存储库