外部ステートへの遷移の使用法をチェック

チェック ID: mathworks.jmaab.jc_0723

ガイドライン: jc_0723: 階層を跨ぐ直接遷移の禁止

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

説明

外部の子ステートで終了する、Stateflow^® チャート内の遷移を特定します。

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

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

MAB モデリング ガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。

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

• NA-MAAB — 推奨なし

• JMAAB — a

結果と推奨アクション

条件	推奨アクション
1 つ以上の遷移が外部の子ステートで終了している。	外部の子ステートで終了する遷移を使用しないように再モデル化することを検討してください。

機能および制限事項

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

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

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

• チャートの対象外指定がサポートされます。

編集時チェック

このチェックは編集時チェックでサポートされます。