jc_0531: デフォルト遷移
該当ガイドライン
Control Algorithm Modeling Guidelines - Using MATLAB®, Simulink®, and Stateflow®
サブ ID 推奨事項
NA-MAAB — a、b、c、d、e、f、g
JMAAB — a、b、c、d、e、f、g
MATLAB バージョン
すべて
ルール
サブ ID a
Stateflow Chart (Stateflow) の [構造] が [Exclusive (OR)] の場合、デフォルト遷移は、Chart ブロックの最上部に接続します。
ステートの [構造] が [Exclusive (OR)] の場合、デフォルト遷移はステートの直下に接続します。
該当なし
デフォルト遷移線は最上部に接続されています。
デフォルト遷移線は接続されていません。
サブ ID b
[構造] が [パラレル (AND)] に設定されている場合、デフォルト遷移線は接続しません。
該当なし
ステート AA と AB の親オブジェクトの [構造] が [Parallel (AND)] に設定され、ステート AA と AB はパラレル ステートになっています。これらのパラレル ステートでは、デフォルト遷移線は接続されていません。
パラレル ステート AA で、デフォルト遷移線が接続されています。
サブ ID c
同一レベルに複数のデフォルト遷移を含みません。
該当なし
同一レベルに複数のデフォルト遷移が含まれていません。
複数のデフォルト遷移が、ステート A の同一レベルに含まれています。
サブ ID d
デフォルト遷移は直接接続され、ステートまたはコネクティブ ジャンクションの上部に垂直に配置されます。
該当なし
デフォルト遷移は、ステートの上部に垂直に接続されています。
ステート A のデフォルト遷移は、ステートの上部に垂直に接続されていません。
サブ ID e
デフォルト遷移の遷移先のステートまたは遷移先のコネクティブ ジャンクションは、同じレベルの左上に配置します。
該当なし
デフォルト遷移は、同じレベルの左上に配置されています。
ステート AB のデフォルト遷移は、同じレベルの左上に配置されていません。
サブ ID f
デフォルト遷移は、ステートの境界を越えません。
該当なし
デフォルト遷移は、ステートの境界内にあります。
デフォルト遷移は、ステートの境界を越えています。
サブ ID g
コンフィギュレーション パラメーター [無条件のデフォルト遷移がない] は [Error] に設定して、デフォルト遷移の移行パスで、優先順位の最も低いパスが無条件の遷移になるようにします。
該当なし
デフォルト遷移の遷移パスで最も優先順位の低いパスは無条件遷移です。
デフォルト遷移の遷移パスで最も優先順位の低いパスは無条件遷移ではありません。
根拠
サブ ID a:
ステート チャートにデフォルト遷移線が含まれていない場合、シミュレーション エラーが発生します。
デフォルト遷移がフロー チャートに含まれている場合、これが意図的か、挿入できなかったものであるか判断できません。
サブ ID b:
不要なデフォルト遷移がない場合可読性が向上します。
サブ ID c:
ステートは目的どおりに機能しない可能性があり、複数のデフォルト遷移が同じレベルに含まれている場合は警告が発生します。
サブ ID d:
デフォルト遷移の角度や位置に曲線やばらつきがあると、可読性が低下します。
サブ ID e:
デフォルト遷移の遷移先のステートまたは遷移先のコネクティブ ジャンクションの位置にばらつきがある場合、可読性が低下します。
サブ ID f
デフォルト遷移がステートの境界を越えてステートの境界や式と交差すると、可読性が低下します。
サブ ID g:
デフォルト遷移の遷移パスに無条件遷移がないときに、遷移パスのすべての条件が満たされないと、遷移先がなくなります。これにより、意図しない動作になる可能性があります。
検証
モデル アドバイザー チェック: Check default transition placement in Stateflow charts (Simulink Check)
最終更新
R2020a
参考
ステート構造を使用した排他的モードとパラレル モードの定義 (Stateflow)
動作モード間の遷移 (Stateflow)
実行時の Stateflow オブジェクトの相互作用 (Stateflow)
バージョン履歴
R2020a で導入
