有限ステートマシンの表現

従来から,設計者は真理値表を使用して,有限ステートマシンの入力,出力,およびステートの関係を表してきました。結果の表は,研究中のシステムの動作を制御するために必要なロジックが記載されています。イベントドリブン システムを設計するための別のアプローチとして、ステート間の遷移の条件でロジックを記述することにより、システムの動作をモデル化します。ステートがアクティブであるかどうかは、特定の条件下で発生するイベントによって決められます。状態遷移図とバブル チャートは、この方法に基づいたグラフィカルな表現です。

Stateflowチャートの表現

Stateflowチャートは,状態遷移図,フローチャート,状態遷移表および真理値表などの形で,順序および組み合わせ論理を含めることができます。状態遷移図は,有限ステートマシンのグラフィカル表現です。“ステート”と"遷移"によって,順序論理システムの基本構成ブロックが形成されます。順序論理を表現するもう1つの方法は,状態遷移表です。ここでは,ステートロジックを表形式で入力できます。また,フローチャートと真理値表によって,組み合わせ論理を1つのチャートで表現できます。

Stateflowチャートは,仿金宝app真软件^®モデルにブロックとして含めることができます。金宝app仿真软件モデルのブロックの集合体がStateflowマシンです。

Stateflowチャートでは,階層,パラレル化,および履歴の表現が可能です。複雑なシステムも親子関係のオブジェクト構造を定義することで整理できます。たとえば,ステートを別の上位レベルのステート内に構造として配置できます。システムをパラレル化することで,複数の直交するステートを同時にアクティブにできます。また,履歴情報に基づいて,遷移先状態を指定できます。

表記法

表記法で一連のオブジェクトと,各オブジェクト間の関係を管理するルールを定義します。Stateflowチャート表記法は、Stateflow チャート内の設計情報をやり取りする方法を提供します。

Stateflowチャートの表記法は,以下の要素で構成されています。

セマンティクス

セマンティクスは,チャートの表記法の解釈方法を規定するものです。典型的なStateflowチャートには,遷移とステートに関連するアクションが含まれています。セマンティクスは,チャート実行時の各アクションのシーケンスを規定します。

参考文献