Stateflow

Stateflow 是一個基於有限狀態機和流程圖來構建組合和時序邏輯決策模型並進行仿真的環境。它可以將圖形表示和表格表示（包括狀態轉換圖、流程圖、狀態轉換表和真值表）結合在一起，針對系統對事件、基於時間的條件以及外部輸入信號的反應方式進行建模。 Stateflow 可用於設計有關監控、任務調度以及故障管理應用程式的邏輯。Stateflow 包括狀態圖動畫及靜態和運行時檢查，可以在實施前測試設計的一致性和完整性。 Stateflow可以直接嵌入到Simulink模型中，並且在仿真的初始化階段，Simulink會把Stateflow繪製的邏輯圖形通過編譯程式轉換成C語言，使二者有機地結合在一起。 Stateflow可以在Simulink Extra模組庫中找到。

工具原理

Stateflow的仿真原理是有限狀態機（finite state machine）理論，有限狀態機是指系統含有可數的狀態，在相應的狀態事件發生時，系統會從當前狀態轉移到與之對應的狀態。在有限狀態機中實現狀態的轉移是有一定條件的，同時相互轉換的狀態都會有狀態轉移事件，這樣就構成了狀態轉移圖。在SIMULINK的仿真視窗中，允許用戶建立有限個狀態以及狀態轉移的條件與事件，從而繪製出有限狀態機系統，這樣就可以實現對系統的仿真。Stateflow的仿真框圖一般都會嵌入到Simulink仿真模型中，同時實現狀態轉移的條件或是事件即可以取自Stateflow仿真框圖，也可以來自Simulink仿真模型。