文件名称：要求和高级模型检查入门：此示例展示了如何开始使用 MathWorks 的模型验证和验证工具-matlab开发
文件大小：19.42MB
文件格式：ZIP
更新时间：2024-06-20 06:20:44
matlab
此示例展示了如何开始使用 MathWorks 的模型验证和验证工具。 它使用虚构的场景，该场景基于嵌入式系统生产团队中典型 Simulink 用户的元素。 该示例打包为 MATLAB 项目。 它使用以下产品： - MATLAB - Simulink - 状态流- Simulink 要求- Simulink 检查- Simulink 设计验证器* * Simulink Coverage 是 Simulink Design Verifier 的必需产品。 此示例需要 Simulink Coverage 许可证，但不显示 Simulink Coverage 功能。 开始： 1) 将示例解压到工作目录2）打开MATLAB 3）导航到工作目录4) 双击打开文件“Designer_Work_Flow.prj”，或者在 MATLAB 命令行窗口中输入“simulinkproject('Desi
【文件预览】：
Designer_Work_Flow.zip
github_repo.zip