Stateflow

Stateflow 是一個基於有限狀態機和流程圖來構建組合和時序邏輯決策模型並進行模擬的環境。它可以將圖形表示和表格表示（包括狀態轉換圖、流程圖、狀態轉換表和真值表）結合在一起，針對系統對事件、基於時間的條件以及外部輸入信號的反應方式進行建模。

Stateflow 可用於設計有關監控、任務調度以及故障管理應用程序的邏輯。Stateflow 包括狀態圖動畫及靜態和運行時檢查，可以在實施前測試設計的一致性和完整性。

Stateflow可以直接嵌入到Simulink模型中，並且在模擬的初始化階段，Simulink會把Stateflow繪製的邏輯圖形通過編譯程序轉換成C語言，使二者有機地結合在一起。 Stateflow可以在Simulink Extra模塊庫中找到。