ステートマシンをグラフィカルに設計

迁移で接続される状态と分岐点を描画して，ステートマシンをグラフィカルに构筑します。また，フローチャートの表记法，万博1manbetxSimulink的サブシステム，MATLABコード，真理値表を使用して关数を作成できます。

フローチャートの設計

分岐点やそれに接続される遷移を描画して,フローチャートを作成します。パターンウィザードでは,一般的に使用されるロジックフローのパターンを作成することが可能です。フローチャートは状態間の遷移ロジックの設計にも使用可能です。

表形式によるロジックの设计

Stateflowの真理値表を使用して,出力が現在の入力のみに依存する場合に仿真万博1manbetx软件でロジックをモデル化できます。状態遷移表には,仿真软件でステートマシンをモデル化するための構造化された環境が用意されています。

再利用可能なチャートオブジェクト

ステートおよび遷移アクションで,MATLAB言語の全機能を使用するスタンドアロンのStateflowチャートを作成します。ステートマシンとタイミングロジックを必要とするアプリケーションでは,これらのチャートをMATLABオブジェクトとして使用します。

ステートマシンとタイミングロジック

Stateflowを使用して,テキストとして実装するのが難しいステートマシンとタイミングロジックをグラフィカルに設計することで,MATLABアプリケーションの開発を加速します。

Stateflow的アプリケーションの配布

Stateflowチャートオブジェクトを含むMATLABアプリケーションを作成し,その共有にはStateflowは不要です。

設計の検証

他のS万博1manbetximulink的制品とともにStateflow的を使用して，要件に基づいて设计を検证します。

• 万博1manbetx仿真软件需求™を使用して,ドラッグアンドドロップ操作で要件をStateflowオブジェクトに直接リンクすることができます。
• 万博1manbetx模型检查™を使用して,状態図が規格に準拠しているかどうかを確認できます。
• 万博1manbetx仿真软件覆盖™を使用して，モデルおよび生成コードのカバレッジメトリクスを收集できます。
• 万博1manbetx仿真软件设计校验™を使用して,設計エラーを検出し,テストベクトルを生成できます。
• 万博1manbetx仿真软件测试™を使用して,シミュレーションベースのテストを開発,管理,実行できます。

コードの生成

Stateflowロジックを組み込みシステムに実装するためのコードを生成します。

• 万博1manbetxSimulink的编码器™を使用して，万博1manbetxSimulink的モデルと状态流モデルからÇコードとC ++コードを生成します。
• 高密度脂蛋白编码器™を使用して，FPGAおよびASICの设计用にVHDLコードと的Verilogコードを生成します。
• 万博1manbetx仿真软件PLC编码器™を使用して、PLCおよびPAC用のIEC 61131 - 3ストラクチャードテキストを生成します。