Main Content

本页采用了机器翻译。点击此处可查看英文原文。

使用 MATLAB Truth Table 模块进行属性证明

打开脚本

此示例显示如何验证上面顶部模块中引用的安全带提醒设计模型。其下方的安全属性模块包含 MATLAB 真值表中指定的属性，该属性指示 SeatBeltIcon 输出何时应处于活动。Simulink Design Verifier 分析设计模型和安全属性以证明正确性或找出反例。在该模型中，该属性是在明确假设 KEY 输入从 0 开始并以 1 的增量变化的情况下证明的。

open_system('sldvexSBRVerificationTruthTableFixedExample');