Stateflow でのフローチャートの作成

Stateflow^® フローチャートは、決定木や反復ループなどのロジックパターンをモデル化するグラフィカル構造体です。フローチャートは、特定の結果が前の結果に依存することのない組み合わせ論理を表します。コネクティブジャンクションと遷移のみを組み合わせて、フローチャートを作成します。ジャンクションは、異なる遷移パス間での判定分岐を提供します。フローチャートの実行は、デフォルト遷移から始まり、"終端ジャンクション" (出力遷移をもたないジャンクション) で終わります。詳細については、遷移とジャンクションを結合して分岐パスを作成を参照してください。

メモ

Stateflow チャートにフローチャートのみが含まれている場合、チャートが起動するたびに、チャートによってフローチャートが評価されます。一方、チャートがステート内の任意のフローチャートを評価するのは、ステート entry 時のみです。

ベストプラクティスの 1 つとして、フローチャートをグラフィカル関数でカプセル化することで、チャートのどこからでも呼び出せるモジュール式の再利用可能なロジックを作成できます。グラフィカル関数の詳細は、グラフィカル関数の定義によるロジックパターンの再利用を参照してください。

たとえば、次のフローチャートは、単純な if-else ロジックをモデル化しています。

Flow chart that models an if else statement.

このフローチャートは次のコードをモデル化しています。

if u > 0
   y = 1;
else
   y = 0;
end

フローチャートの描画

コネクティブジャンクションを複数の遷移パス間の分岐点として使用することにより、フローチャートを描画することができます。フローチャートを描画するには、以下を行います。

新しいチャートを開きます。
フローチャートの実行が開始されるジャンクションに、デフォルト遷移を追加します。オブジェクトパレットで、デフォルト遷移のアイコンをクリックします。次に、チャートキャンバスで、遷移の位置をクリックします。Stateflow エディターにより、新しいコネクティブジャンクションが遷移先として追加されます。
新しい遷移を追加するには、ジャンクションの境界をポイントします。次に、クリックしてジャンクション以外の場所にドラッグします。Stateflow エディターに、ジャンクションまたはステートを追加するためのグラフィカルキューが表示されます。
- ジャンクションを遷移の末尾に配置するには、円形のキューをクリックします。
- 既存ジャンクションに遷移を接続するには、ポインターを目的の遷移先までドラッグします。
コネクティブジャンクションをチャートに追加するには、オブジェクトパレットで、ジャンクションアイコンをクリックします。次に、チャートキャンバスで、新しいジャンクションの位置をクリックします。
必要に応じて、前の手順を繰り返します。
遷移のアクションの定義の説明に従って、遷移にラベルを付けます。

フローチャート作成のベストプラクティス

フローチャートを作成する際は、以下のベストプラクティスに従います。

Flow chart that illustrates best practices.

デフォルト遷移は 1 つのみ使用する

フローチャートにはエントリポイントが 1 つだけあります。

終端ジャンクションは 1 つのみとする

複数の終端ジャンクションを使用すると、フローチャートがわかりにくくなります。

すべての遷移パスを終端ジャンクションに収束させる

フローチャートを実行すると必ず終了点に到達します。

無条件遷移を、終端ジャンクションを除く各ジャンクションから設定する

予期しないバックトラッキングがシミュレーション中に発生すると、警告メッセージが表示されます。

予期しないバックトラッキングに対する診断アクションのレベルを制御するには、[コンフィギュレーションパラメーター] ダイアログボックスを開き、[診断] 、 [Stateflow] ペインで、[予期せぬバックトラッキング] パラメーターを [なし]、[警告]、または [エラー] に設定します。既定の設定は [警告] です。詳細については、予期せぬバックトラッキング (Simulink)を参照してください。

以下のような条件下では、予期しないバックトラッキングがジャンクションで発生するおそれがあります。