Main Content

Stateflow

Stateflow® チャートの外観、データおよび演算、イベント、パターン

Stateflow チャートの外観、データおよび演算、イベント、パターンには、MAB のガイドラインを適用します。

モデリング ガイドライン

すべて展開する

db_0123: Stateflow 端子の名前
db_0125: Stateflow のローカル データ
db_0126: Stateflow のイベントの定義方法
jc_0701: 最初のインデックスで使用可能な数値
jc_0712: デフォルト遷移パスの実行タイミング
jc_0722: パラレル ステートにおけるローカル データの設定方法
jc_0797: 未接続の遷移線/ステート/コネクティブ ジャンクション
db_0137: ステート チャートのステート
jc_0721: パラレル ステートの使用方法
db_0129: 遷移線の結線
jc_0531: デフォルト遷移
jc_0723: 外部ステートから子ステートへの直接遷移の禁止
jc_0751: 状態遷移におけるバックトラックの予防
jc_0760: 内部遷移線の始点
jc_0763: 複数の内部遷移の記述方法
jc_0762: ステート アクション タイプとフロー チャート記述の併用禁止
db_0132: フロー チャートの遷移
jc_0773: フロー チャートの無条件遷移
jc_0775: フロー チャートの終端コネクティブ ジャンクション
jc_0738: Stateflow でのコメントの書き方
jc_0790: Chart ブロックのアクション言語
jc_0702: Stateflow のパラメーター/定数名の設定
jm_0011: Stateflow のポインタ
jc_0491: Stateflow におけるデータの再利用
jm_0012: イベント ブロードキャストとイベントの使用制限
jc_0733: ステート アクション タイプの記述順序
jc_0734: ステート アクション タイプの記述回数
jc_0740: ステート アクション タイプ exit の使用制限
jc_0741: ステート チャートの遷移条件に使用するデータの更新タイミング
jc_0772: 遷移線の実行順序と遷移条件
jc_0753: Stateflow における条件アクションと遷移アクション
jc_0711: Stateflow における除算
db_0127: Stateflow ブロック内の MATLAB コマンド使用制限
jc_0481: Stateflow における浮動小数点型の比較
na_0001: Stateflow における演算子の統一
jc_0655: Stateflow における論理型の比較演算禁止
jc_0451: 符号なし整数に対する単項マイナス
jc_0802: Stateflow における暗黙の型変換の禁止
jc_0803: ライブラリ関数に引き渡される値
jc_0732: ステート名/データ名/イベント名の区別
jc_0730: Stateflow ブロック内でのステート名の独立性
jc_0731: ステート名の記述
jc_0501: ステート ラベルの改行
jc_0736: Stateflow ブロック内のインデント統一
jc_0739: ステート内テキストの記述方法
jc_0770: 遷移ラベルの配置
jc_0771: 遷移ラベル内のコメントの配置
jc_0752: 遷移ラベルにおける条件アクションの記述方法
jc_0774: 処理なし無条件遷移へのコメント
jc_0511: グラフィカル関数からの戻り値の設定
jc_0804: グラフィカル関数による再帰的呼び出しの禁止
na_0042: Simulink 関数を使用する場面
na_0039: Chart ブロック内の Simulink 関数の制約