Stateflow簡介
Stateflow是有限狀態機（finite state machine）的圖形工具，它通過開發有限狀態機和流程圖擴展了Simulink的功能。Stateflow使用自然、可讀和易理解的形式，可使複雜的邏輯問題變得清晰與簡單，並且還與MATLAB\Simulink緊密集成，爲包含控制、優先級管理、工作模式邏輯的嵌入式系統設計提供了有效的開發手段，是本書的核心內容之一。讀者在5~8章將看到Stateflow應用於MCU器件的嵌入式開發，尤其顯得得心應手，一些採用傳統方法難於實現的算法，如果利用Stateflow建模卻非常容易。大到導彈、航空航天器的控制，小到點亮一個發光二極管，Stateflow都非常稱職。Stateflow狀態圖模型，還可利用Stateflow Coder代碼生成工具，直接生成C代碼。
Stateflow的主要功能包括：
- 使用層次化、可並行的、有明確執行語義的元素，來描述複雜的邏輯系統。
- 採用流程圖定義圖形化函數。
- 利用真值表實現表格形式的功能。
- 使用臨時邏輯處理狀態轉移與事件。
- 支持Mealy和Moore有限狀態機。
- 可集成用戶自定義的C代碼。
- 可用動畫的形式顯示狀態圖的仿真運行過程，並可記錄數據。
- 調試器使用圖形化斷點進行單步調試，並可觀察其中的數據。
本章主要內容：
- Stateflow工作原理與基本概念
- 建立Stateflow狀態圖與流程圖
- Stateflow的層次結構與並行機制
- Stateflow應用