このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Stateflow 遷移の外観をチェック
チェック ID: mathworks.jmaab_v6.db_0129
ガイドライン: db_0129: Stateflow® 遷移の外観
説明
他の Stateflow オブジェクトと視覚的にオーバーラップする Stateflow 遷移をチェックします。
このチェックには Simulink® Check™ および Stateflow のライセンスが必要です。
チェックのパラメーター化
このチェックには、MAB および JMAAB モデリング ガイドラインで指定されているサブ ID に対応するサブチェックが含まれています。モデル アドバイザー構成エディターを使用して、実行するサブ ID (1 つ以上) を指定できます。
参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドライン サブ ID は以下のとおりです。
NA-MAAB — a、b
JMAAB — a、b
自己遷移にフラグを設定するには、入力パラメーター [自己遷移をチェック] を選択します。
モデル構成エディターを開いて、チェック ID
db_0129を検索します。[自己遷移をチェック] チェック ボックスをオンにします。
[適用] をクリックし、構成を保存します。
結果と推奨アクション
| ガイドライン サブ ID | 条件 | 推奨アクション |
|---|---|---|
| db_0129_a: 遷移線の方向をチェック | 遷移が垂直または水平方向でないか、フロー チャートのループの場合に対角方向でない。 | 水平または垂直方向の遷移のみを使用し、フロー チャートのループには対角方向の遷移を使用して、再モデル化することを検討してください。 |
| db_0129_b: 不要なコネクティブ ジャンクションをチェック | 1 つ以上のチャートで不要なコネクティブ ジャンクションが使用されている。 | 不要なコネクティブ ジャンクションを使用しないことを検討してください。 |
機能および制限事項
ステートの境界線を越えるステート ラベルとオーバーラップしている遷移にはフラグは設定されません。
ライブラリ モデルで実行されます。
ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は
[オン]に設定されます。マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は
[グラフィカル]に設定されます。ブロックおよびチャートの対象外指定が許容されます。
