Stateflow フロー チャート内の遷移をチェック
チェック ID: mathworks.jmaab.db_0132
ガイドライン: db_0132: フロー チャートの遷移
説明
Stateflow® フロー チャート内の遷移方向をチェックします。
フロー チャートの遷移には次の規則が適用されます。
遷移条件は水平方向に描画する。
条件アクションを伴う遷移は垂直方向に描画する。
フロー チャート内のジャンクションには、既定の exit 遷移が必要である。
フロー チャート内の遷移では、条件とアクションを組み合わせてはならない。
このチェックには Simulink® Check™ および Stateflow のライセンスが必要です。
チェックのパラメーター化
このチェックには、MAB および JMAAB モデリング ガイドラインで指定されているサブ ID に対応するサブチェックが含まれています。モデル アドバイザー構成エディターを使用して、実行するサブ ID (1 つ以上) を指定できます。
参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドライン サブ ID は以下のとおりです。
NA-MAAB — a、b
JMAAB — a、b
結果と推奨アクション
| ガイドライン サブ ID | 条件 | 推奨アクション |
|---|---|---|
| db_0132_a: Stateflow フロー チャートでの遷移アクションの使用をチェック | モデル内のフロー チャートで、1 つ以上の遷移アクションが使用されている。 | フロー チャートで遷移アクションを使用しないようにします。 |
| db_0132_b: フロー チャート内の遷移方向をチェック | 条件式を伴う 1 つ以上の遷移が水平方向に描画されていない。 | 条件式を伴う遷移は水平方向に描画します。 |
| 条件アクションを伴う 1 つ以上の遷移が垂直方向に描画されていない。 | 条件アクションを伴う遷移は垂直方向に描画します。 | |
| 1 つ以上の遷移に、条件式と条件アクションの両方が含まれている。 | 同じ遷移内で条件式と条件アクションを同時に使用しないようにします。 |
機能および制限事項
このチェックでは、遷移が方向に関する規則に違反している場合にのみ、ループ構造を含むフロー チャートにフラグが付けられます。
ライブラリ モデルで実行されます。
マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は
[グラフィカル]に設定されます。ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は
[オン]に設定されます。ブロックおよびチャートの対象外指定が許容されます。
編集時チェック
このチェックは編集時チェックでサポートされます。
