ステートフロー

ステートフロー

自動変速機システムの制御ロジック
開発者	マスワークス
安定版リリース	R2018b / 2018年9月12日; 6年前 ( 2018-09-12 )
プレビューリリース	R2018b / 2018年6月14日; 6年前 ( 2018-06-14 )
オペレーティング·システム	Windows、macOS、Linux [1]
プラットフォーム	64ビット
タイプ	アプリケーションソフトウェア
ライセンス	独自
Webサイト	Stateflow 製品ページ

Stateflow（MathWorksによって開発）は、 Simulinkモデル内の状態マシンとフローチャートを介して反応システムをモデル化するために使用される制御ロジックツールです。Stateflowは、 David Harelによって確立された有限状態マシン表記法の変形を使用して、状態チャート内で階層、並列性、履歴を表現できるようにします。^{[2] [3] Stateflowは、}状態遷移表と真理値表も提供します。

Stateflowは、一般的に、連続ダイナミクス（つまり、プラントと環境の挙動）がSimulinkを使用して指定されるハイブリッドシステムのモデル内の離散コントローラを指定するために使用されます。 ^{[4] [5]}

Stateflow の具体的な用途は次のとおりです。

• モード論理では、システムの各離散モードが状態によって表現される^[6]
• 障害管理では、Stateflowチャートを使用して、システム内の障害や故障に対するシステムの対応方法を制御する^[7]
• タスクスケジューリングでは、Stateflowチャートを使用して、Stateflowチャート内またはSimulinkモデル全体内で特定のタスクが発生するタイミングをスケジュールします^[8]

Stateflow では、設計を検証し、コードを生成するために、MathWorks およびサードパーティのさまざまなツールを使用できます。たとえば、MathWorks ツールの Simulink Verification and Validation を使用すると、要件のトレーサビリティとモデル カバレッジ分析を確認できます。その他のアドオン コード生成ツールを使用すると、組み込みシステムに実装するための C、C++、HDL、および PLC コードを自動的に生成できます。