验证サブサブの安全性能は，モデル真でなければならないを化しますこのサブシステムにには，，プロパティを断言（brakeasersertion）ががれて。。。。。。ますま金宝appすますますver verのののの解析ははアサーションのののの反证をを试み试みますますます。。。それそれそれににに成功成功成功し场合た，，，，，，，，，，しししししししてこのさたアサーションをすることができます。

1.モデルsldvdemo_cruise_control_verificationを开きます。

open_system（'sldvdemo_cruise_control_verification'）

2。[アプリ]，[设计验证者]simulink金宝app设计验证者ををををを开き。。。。

3。[プロパティ]Simulink设金宝app计验证者はははは解析解析し，[検证结果概要]ウィンドウウィンドウ

モデルでは，断言ブロックがするシステムが表示されます。

4.安全属性サブサブ开き反证たたた断言ブロックを选択ます。

5.ツールストリップメニューから[スライサーをしデバッグ]をクリックモデルを使用て违反デバッグし。あるいは，结果インスペクターウィンドウで[デバッグ]をクリックこともでき。。

いずれかポイントクリックすると，に対してのセットアップが実行れます。

一个。断言ブロックモデルスライサー开始として追加さ。。

b。金宝appsimulink设计验证者の解析によってされ反例モデルが表示され。。。

C。设计モデルさ，アサーションエラーので一时停止し。。

6. [ステップ戻す]ボタン[ステップステップ]ボタンボタンし端子ラベル调べて，モデルをデバッグおよび解析解析

A ==> bが伪，t = 0.04でシミュレーション停止するが分かります。このことはは端子端子ラベルラベルからから観察

一个。[シミュレーション]タブで，[ステップを]t =（t-0.1）におけるクリックにおけるにおけるの端子を确认。。。。

一个t = 0.04までまで端子ラベルラベルはは伪で，それ，真になること分かりますその时点で，bの端子ラベルは伪（thtottle_out> 0）ですですthrottle_outが0より大きい，は反证され。。

b。结果がとブロックをするには，[设计模型]，[コントローラー]を开き。ブロックパスが强调されます。

修正をするには，sldvdemo_cruise_control_verificationモデルを，キャンバス上の[打开固定模型]ボタンをクリックます。