探索Simulink万博1manbetx设计验证功能-文件交换- MATLAB中心 - 万博1manbetx,s manbetx 845,万博尤文图斯

探索Simulink万博1manbetx功能设计验证器

版本1.0.0 (285 KB) 拉维

万博1manbetxSimulink设计验证器应用于自动驾驶模型，并以投票人逻辑和模式转换逻辑为函数

0．0

（0)

47下载

更新1月21日

查看许可协议

这是一个验证的自动驾驶模型与选民逻辑和模式转换使用Simulink设计验证器。万博1manbetx这些要求如表所示。创建了代表投票人逻辑和模式转换逻辑的等效函数块。投票人逻辑和模式转换逻辑都使用SDV中的断言进行验证。

引用作为

拉维(2022)。探索Simulink万博1manbetx功能设计验证器(//www.tianjin-qmedu.com/matlabcentral/fileexchange/70045-exploring-万博1manbetxsimulink-design-verifier-for-sfunctions)， MATLAB中央文件交换。检索2022年11月7日．

MATLAB版本兼容性

使用R2017a创建

兼容R2017a ~ R2018b

平台的兼容性

窗户 macOS Linux

类别

验证、确认和测试>万博1manbetxSimulink设计验证器>生成测试>功能需求测试>

标签添加标签

确认

启发:探索Simulink万博1manbetx设计验证- 2

社区寻宝

在MATLAB Central中找到宝藏，并发现社区如何帮助您!

开始狩猎!

探索Simulink万博1manbetx功能设计验证器

引用作为

需要

MATLAB版本兼容性

平台的兼容性

类别

标签添加标签

确认

社区寻宝

发现实时编辑器

VoterLogic_MTL_Sfunction / MTL_sfunctionBuilder

VoterLogic_MTL_Sfunction / votingLogic_SfunctionBuilder

VoterLogic_MTL_Sfunction / MTL_sfunctionBuilder

VoterLogic_MTL_Sfunction / sfunction_AutoPilot

VoterLogic_MTL_Sfunction / votingLogic_SfunctionBuilder