需求和先进的模型检查开始
这个例子展示了如何开始与MathWorks模型验证和验证工具。它使用一个虚构的场景,是基于元素的一个典型的仿真软件用户在嵌入式系统中生产团队。万博1manbetx的例子是打包为一个MATLAB项目。它使用以下产品:s manbetx 845
——MATLAB
——万博1manbetx仿真软件
——Stateflow
——万博1manbetx仿真软件需求
——万博1manbetx仿真软件检查
——万博1manbetx仿真软件设计验证器*
*模万博1manbetx型所需的覆盖是一个产品模型设计验证器。这个例子需要一个仿真软件覆盖许可,但没有显示仿真万博1manbetx软件覆盖特性。
开始:
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这个例子的内容不构成真正的设计。
Farnswerth汽车和你是一个工程师在一个秘密的项目团队开发一个人5级自主车,许多称之为豆荚。
你的团队,设计了控制系统软件,即将完成项目的“桌面模拟”阶段之前的万众期待的“硬件在回路”全新先进的测试设备的测试阶段隐藏的其他公司。每个人都很兴奋!
你许多的责任之一是自适应巡航控制功能,应设置Pod除了竞争,因为这将允许多个豆荚旅行在1米100 km / h。你的CEO已经在社会媒体发布关于这个特定的功能现在好几个月。
您已经完成了大部分的设计,拯救了最后的“容易的事情”。
引用作为
帕特精明的(2023)。需求和先进的模型检查开始GitHub (https://github.com/mathworks/requirements-advanced-checks-getting-started/releases/tag/3.1)。检索。
模型
脚本
模型
版本 | 发表 | 发布说明 | |
---|---|---|---|
3.1 | GitHub上看到这个版本发布说明:https://github.com/mathworks/requirements-advanced-checks-getting-started/releases/tag/3.1 |
||
3.0 | GitHub上看到这个版本发布说明:https://github.com/mathworks/requirements-advanced-checks-getting-started/releases/tag/3.0 |
||
2.0 | GitHub上看到这个版本发布说明:https://github.com/mathworks/requirements-advanced-checks-getting-started/releases/tag/2.0 |
||
1.0.0 |