图片缩略图

需求和先进的模型检查开始

版本3.0 (4.17 MB) 帕特精明的
这个例子展示了如何开始与MathWorks模型验证和验证工具

512下载

更新2022年3月16日

从GitHub

查看许可GitHub

这个例子展示了如何开始与MathWorks模型验证和验证工具。它使用一个虚构的场景,是基于元素的一个典型的仿真软件用户在嵌入式系统中生产团队。金宝app的例子是打包为一个MATLAB项目。它使用以下产品:下载188bet金宝搏

——MATLAB
——金宝app仿真软件
——Stateflow
——金宝app仿真软件需求
——金宝app仿真软件检查
——金宝app仿真软件设计验证器*

*模金宝app型所需的覆盖是一个产品模型设计验证器。这个例子需要一个仿真软件覆盖许可,但没有显示仿真金宝app软件覆盖特性。

开始:

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级自主车,许多称之为豆荚。

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

你许多的责任之一是自适应巡航控制功能,应设置Pod除了竞争,因为这将允许多个豆荚旅行在1米100 km / h。你的CEO已经在社会媒体发布关于这个特定的功能现在好几个月。

您已经完成了大部分的设计,拯救了最后的“容易的事情”。

引用作为

帕特精明的(2022)。需求和先进的模型检查开始GitHub (https://github.com/mathworks/requirements-advanced-checks-getting-started/releases/tag/3.0)。检索

MATLAB版本兼容性
创建R2021a
兼容R2021a
平台的兼容性
窗户 macOS Linux

社区寻宝

找到宝藏在MATLAB中央,发现社区如何帮助你!

开始狩猎!
问题在这个视图或报告GitHub插件,参观GitHub库
问题在这个视图或报告GitHub插件,参观GitHub库