インデックス モードをチェック
チェック ID: mathworks.jmaab.db_0112
ガイドライン: db_0112:インデックスの使用方法
説明
不整合なインデックス モードを使用しているブロックおよびチャートを特定します。
0 または 1 ベースのインデックスを使用するブロック:
既定で 1 ベースのインデックスを使用するブロック:
Truth Table (Stateflow)
State Transition Table (Stateflow)
Test Sequence (Simulink Test)
メモ
Simulink では、既定で 0 ベースのインデックスを使用するブロックはありません。
Stateflow では、チャートのアクション言語が MATLAB® に設定されている場合は、
1ベースのインデックスです。アクション言語が C に設定されている場合は、0ベースのインデックスです。
このチェックには Simulink® Check™ および Stateflow® のライセンスが必要です。
チェックのパラメーター化
このチェックには、MAB および JMAAB モデリング ガイドラインで指定されているサブ ID に対応するサブチェックが含まれています。モデル アドバイザー構成エディターを使用して、実行するサブ ID (1 つ以上) を指定できます。
参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドライン サブ ID は以下のとおりです。
NA-MAAB — a1/a2
JMAAB — a1/a2
メモ
サブチェック db_0112_a1 が既定として選択されます。
結果と推奨アクション
| ガイドライン サブ ID | 条件 | 推奨アクション |
|---|---|---|
| db_0112_a1:0 ベースのインデックス モードをチェックします。 | モデル内の 1 つ以上のブロックまたはチャートに 1 ベースのインデックス モードまたは [インデックスの指定] モードが設定されている。 | 0 ベースのインデックスを使用して再モデル化することを検討してください。 |
| db_0112_a2:1 ベースのインデックス モードをチェックします。 | モデル内の 1 つ以上のブロックまたはチャートに 0 ベースのインデックス モードまたは [インデックスの指定] モードが設定されている。 | 1 ベースのインデックスを使用して再モデル化することを検討してください。 |
機能および制限事項
ライブラリ モデルで実行されます。
対象外指定が許可されます。
ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は
[オン]に設定されます。マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は
[グラフィカル]に設定されます。