このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
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 のイベントを、使用する最小スコープで定義することを検討してください。 |
機能および制限事項
ライブラリ モデルで実行されます。
ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は
[オン]
に設定されます。マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は
[グラフィカル]
に設定されます。チャート レベルでの対象外指定がサポートされます。