文档帮助中心文档
这个例子展示了如何验证安全带提醒设计模型。它下面的安全属性块包含一个在MATLAB中指定的属性,该属性指示图标何时应该被激活。金宝appSimulink设计验证器通过分析设计模型和安全特性来证明其正确性或识别反例。在这个模型中,违反了这个属性,因为设计隐式地假定KEY输入从0开始,并以1为增量进行更改。
open_system (“sldvdemo_sbr_verification”);
您有这个示例的一个修改版本。要用编辑打开这个例子吗?
您点击了一个对应于这个MATLAB命令的链接:
通过在MATLAB命令窗口中输入该命令来运行该命令。Web浏览器不支持MATLAB命令。金宝app
选择一个网站来获得可用的翻译内容,并看到当地的活动和提供。根据您所在的位置,我们建议您选择:.
你也可以从以下列表中选择一个网站:
请选择表现最佳的中国网站(中文或英文)。MathWorks的其他国家网站并没有针对您所在位置的访问进行优化。
与当地办事处联系