メインコンテンツ

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Stateflow のイベントの定義をチェック

チェック ID: mathworks.jmaab.db_0126

ガイドライン: db_0126: Stateflow® のイベントの定義方法

説明

Stateflow のイベントは可能な限り、使用する最小スコープで定義する必要があります。

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

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

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

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

  • NA-MAAB — a

  • JMAAB — a

結果と推奨アクション

条件推奨アクション
チャートで使用されている 1 つ以上の Stateflow イベントが階層の同じレベルで定義されていない。Stateflow のイベントを、使用する最小スコープで定義することを検討してください。

機能および制限事項

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

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

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

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