アクティブステートデータによるステートアクティビティの監視

アクティブステートデータを使用すると、チャート階層との相関性が高いデータを維持する必要がないため、一部の Stateflow^®チャートの設計を簡素化することができます。アクティブステートデータを有効にすると、Stateflow は、出力端子を介して Simulink^®へ、またはチャート内のローカルデータとして、ステートアクティビティを報告します。アクティブステートデータを使用すると、次のことが可能です。

チャートアクティビティを反映させる手動のデータ更新を回避する。
スコープ、シミュレーションデータインスペクター、またはロジックアナライザーを使用してチャートアクティビティを表示する。
診断のためにチャートアクティビティをログに記録する。
他の Simulink サブシステムを駆動する。

アクティブステートデータの型

アクティブステートデータを有効にすると、Stateflow では、アクティビティタイプと一致する boolean または列挙データオブジェクトが作成されます。

アクティビティタイプ	アクティブステートのデータ型	説明
自己アクティビティ	Boolean	ステートがアクティブかどうか
子アクティビティ	Enumeration	アクティブな子はどれか
リーフステートアクティビティ	Enumeration	アクティブなリーフステートはどれか

チャートまたはステートの自己アクティビティでは、アクティブな場合はデータ値がtrueに、非アクティブな場合はfalseになります。子アクティビティおよびリーフステートアクティビティの場合、データは列挙型になります。Stateflow で列挙型クラスを定義するか、手動で定義を作成できます。詳細については、ステートアクティビティの列挙型の定義を参照してください。

アクティブステートデータは、Stateflow チャート、ステート、状態遷移表、Atomic サブチャートで有効にすることができます。以下の表は、各種の Stateflow オブジェクトでサポートされているアクティビティタイプを示しています。

Stateflow オブジェクト	自己アクティビティ	子アクティビティ	リーフステートアクティビティ
チャート	サポートなし	サポートあり	サポートあり
排他的 (OR) 構造が設定されたステート	サポートあり	サポートあり	サポートあり
パラレル (AND) 構造が設定されたステート	サポートあり	サポートなし	サポートなし
一个tomic サブチャート	コンテナーレベルのサポートあり	サブチャート内のサポートあり	サブチャート内のサポートあり
状態遷移表	サポートなし	サポートあり	サポートあり

アクティブステートデータの有効化

アクティブステートデータは、プロパティインスペクターまたはモデルエクスプローラーで有効にすることができます。

プロパティインスペクター
1. プロパティインスペクターを開くには、[モデル化]タブで[プロパティインスペクター]をクリックします。
2. Stateflow エディターのキャンバスで、監視対象の Stateflow オブジェクトを選択します。
3. プロパティインスペクターの[監視]セクションで、[監視する出力の作成]チェックボックスをオンにして、アクティブステートデータのプロパティを編集します。
モデルエクスプローラー
1. モデルエクスプローラーを開くには、[モデル化]タブで[モデルエクスプローラー]をクリックします。
2. [モデルの階層構造]ペインで、監視対象の Stateflow オブジェクトをダブルクリックします。
3. [Stateflow オブジェクト] ペインで、[監視する出力の作成]チェックボックスをオンにして、アクティブステートデータのプロパティを編集します。

アクティブステートデータのプロパティ

アクティビティタイプ

監視対象のステートアクティビティのタイプ。以下のオプションから選択します。

自己アクティビティ
子アクティビティ
リーフステートアクティビティ

データ名

アクティブステートデータオブジェクトの名前。詳細については、Stateflow オブジェクトの命名のガイドラインを参照してください。

Enum 名

アクティブステートデータオブジェクトの列挙データ型の名前。このプロパティは、子アクティビティおよびリーフステートアクティビティにのみ適用されます。

手作業で列挙型を定義

列挙データ型を手動で定義するかどうかを指定します。このプロパティは、子アクティビティおよびリーフステートアクティビティにのみ適用されます。詳細については、ステートアクティビティの列挙型の定義を参照してください。

アクティブステートデータのスコープの設定

既定では、アクティブステートデータはOutputのスコープをもっています。Stateflow は、Simulink モデル内のチャートブロック上に出力端子を作成します。

Stateflow チャート内のアクティブステートデータにアクセスするには、[シンボル] ペインまたはモデルエクスプローラーで、スコープをLocalに変更します。詳細については、データプロパティの設定を参照してください。

ローカルのアクティブステートデータをSimulink.Signal(Simulink)オブジェクトにバインドすると、コード生成に関する情報を指定できます。オブジェクトのプロパティは、CoderInfoプロパティを使用して変更します。詳細については、Simulink.CoderInfo(Simulink)を参照してください。

ステートアクティビティの列挙型の定義

既定では、Stateflow は、子アクティビティおよびリーフアクティビティに列挙データ型を定義します。[手作業で列挙型を定義]チェックボックスがオンで、列挙データ型の定義が存在しない場合、Stateflow は、定義を作成するリンクを提供します。[テンプレートから列挙型定義を作成する]リンクをクリックすると、カスタマイズ可能な定義が生成されます。

列挙データ型の定義には、ステート名ごとに 1 つの列挙値が含まれます。定義には、列挙データ型の既定値として使用され、アクティブなサブステートがないことを示す列挙値も含まれます。たとえば、モデル年代f_car内では、ステートgear_stateに、自動車のギアに対応する 4 つの子ステート (first、年代econd、third、fourth) が含まれます。このモデルでは、子アクティビティのデータ型を、次の列挙型クラス定義で指定します。

classdefgearType < Simulink.IntEnumTypeenumerationNone(0), first(1), second(2), third(3), fourth(4)end...end

列挙値を並べ替えるか、既定値の名前を変更することにより、この定義をカスタマイズできます。ステートに対応する列挙値の名前を変更したり、別の既定値を指定するのにgetDefaultValueメソッドを使用したりしないでください。詳細については、列挙データ型の定義を参照してください。

ヒント

自動的に作成される列挙型の基本ストレージ型は、既定でNative Integerに設定されます。メモリフットプリントを小さくするには、[コンフィギュレーションパラメーター] ダイアログボックスの[最適化]ペインで、[自動的に作成される列挙型の基本ストレージ型]フィールドの値を変更します。詳細については、自動的に作成される列挙型の基本ストレージ型(Simulink Coder)を参照してください。

ステートアクティビティとパラレルステート

パラレル (AND) 構造をもつステートでは、パラレルサブステートが同時にアクティブとなるため、子アクティビティとリーフステートアクティビティは使用できません。

チャートまたはステートでリーフステートアクティビティを有効にすると、パラレル (AND) 構造のサブステートはリーフステートとして扱われます。たとえば、以下のチャートのリーフステートアクティビティを有効にするとします。ステートBはパラレル構造であるため、そのサブステートB1とB2は同時にアクティブになります。よって、Bはチャートのリーフステートとして処理されます。

シミュレーション中に、アクティブステートの出力データに接続されているスコープは、リーフステート一个1、一个2およびBの列挙値を示します。

アクティブステートデータの制限

子アクティビティをもたないステートの子アクティビティ出力を有効にすると、コンパイル時および実行時にエラーが発生します。
パラレル構造のチャートまたはステート内では、子またはリーフステートアクティビティを有効にすることはできません。パラレルステートのサブステートのステートアクティビティをチェックするには、in演算子を使用します。詳細については、in 演算子を使用したステートアクティビティのチェックを参照してください。
クラシックセマンティクスまたは Mealy のセマンティクスを使用するチャートでは、チャートのプロパティ[チャート起動ごとに出力を初期化]が有効になっている場合、アクティブステートデータはサポートされません。詳細については、チャート起動ごとに出力を初期化を参照してください。