Stateflow のデータ定義をチェック

チェック ID: mathworks.jmaab.db_0125

ガイドライン: db_0125: Stateflow^® のローカルデータ

マシンレベルで定義されている Stateflow データに設定されたスコープ値を特定します。

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

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

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

ガイドラインサブ ID	条件	推奨アクション
db_0125_a:マシンレベルで [スコープ] が [ローカル] に設定された Stateflow データをチェック	マシンレベルでローカルスコープの Stateflow データが定義されている	マシンレベルでローカルスコープのデータを定義しません。
db_0125_b:マシンレベルで [スコープ] が [定数] に設定された Stateflow データをチェック	マシンレベルで定数スコープの Stateflow データが定義されている	マシンレベルで定数スコープのデータを定義しません。
db_0125_c:マシンレベルで [スコープ] が [パラメーター] に設定された Stateflow データをチェック	マシンレベルでパラメータースコープの Stateflow データが定義されている	マシンレベルでパラメータースコープのデータを定義しません。
db_0125_d:Stateflow ブロック階層で [スコープ] が [ローカル] に設定されている重複した Stateflow データ名をチェック	チャートで定義されている Stateflow データに、同じ Stateflow ブロック階層で複数の定義が設定されている	階層で一意の Stateflow データ名を使用します。