Stateflow チャート内の未接続のオブジェクトをチェック

チェック ID: mathworks.jmaab.jc_0797

ガイドライン: jc_0797: 未接続の遷移線/ステート/コネクティブ ジャンクション

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

説明

Stateflow^® チャート内の未接続のステート、ジャンクション、および遷移をチェックします。

このチェックには Simulink^® Check™ および Stateflow のライセンスが必要です。

チェックのパラメーター化

このチェックには、MAB および JMAAB モデリング ガイドラインで指定されているサブ ID に対応するサブチェックが含まれています。モデル アドバイザー構成エディターを使用して、実行するサブ ID (1 つ以上) を指定できます。

参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドライン サブ ID は以下のとおりです。

• NA-MAAB — a、b

• JMAAB — a、b

結果と推奨アクション

ガイドライン サブ ID	条件	推奨アクション
jc_0797_a: 未接続の遷移をチェック。	チャート内の 1 つ以上の遷移が未接続である。	再モデル化により未接続の遷移を接続することを検討してください。
jc_0797_b: 未接続のステートとジャンクションをチェック。	1 つ以上のステートとジャンクションが未接続である。	再モデル化して未接続のステートおよびジャンクションを接続することを検討してください。

機能および制限事項

• ライブラリ モデルで実行されます。

• マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は [グラフィカル] に設定されます。

• ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は [オン] に設定されます。

• ブロックおよびチャートの対象外指定が許容されます。