Stateflow® 事件導向系統模擬軟體
Introduction
事件導向系統模擬軟體透過開發有限狀態機和流程圖的設計環境擴展Simulink的功能。此模組使用自然、可讀和易理解的形式來表達複雜邏輯，同時與MATLAB和Simulink緊密結合，為包括控制、優先順序管理、工作模式邏輯的嵌入式系統的設計提供了有效的工作環境。
Stateflow Chart採用圖形建模方式建構層次化的，並行工作的狀態和之間由事件驅動的邏輯轉移關係。Stateflow在傳統狀態圖的基礎上擴展了控制流、Embedded MATLAB、圖形函數、真值表、臨時運算子、直接事件廣播，並可以整合用戶手寫的C程式碼。
本工具箱使用需搭配MATLAB。
Requires C Compiler when used in non-Windows or 64-bit environments.
Key Features
- 提供層次化、可並行的、具有明確執行語義的建模語言元素，並以自然易懂的形式來描述複雜邏輯系統
- 使用流程圖定義圖形化函數，使用Embedded MATLAB進行程式設計操作、使用真值表完成表格形式的處理
- 採用臨時邏輯調度狀態轉移與事件
- 支援Mealy和Moore有限狀態機
- 可整合使用者自訂輸入輸出變數的C程式碼
- 支援向量，矩陣，匯流排訊號和定點資料類型
- 可進行靜態模型檢查，包括病態定義的真值表
- 可動態檢測轉移衝突，閉環，狀態不一致，資料範圍錯誤和溢出問題
- 模擬進行中以動畫顯示狀態圖的運行並記錄資料，以便於對系統的理解和偵錯
- 整合了一個偵錯器，採用圖形化中斷點進行單步偵錯器，在偵錯時流覽其中的資料
- 狀態轉換表、MATLAB可以做為動作語言，以及在圖表內可進行除錯(and in-chart debugging)
2022a :
- Simulink 的中斷點列表窗格現包含 Stateflow 的中斷點
- 使用改進的工作流程並建立具有 entry 和 exit 結點(junctions)的原子子圖(atomic subcharts)
- State Transition Table 模組和 Truth Table 模組現在支援使用字串資料
2021b :
- 新增Entry和 Exit結點 ：可建立跨階層邊界的entry和exit連接
2021a :
- 加入架構模型：使用 Stateflow 中的狀態圖表示工作模式，用以描述 System Composer 中的元件行為
- Stateflow 編輯器：借助快速插入、調整大小時輔助線和轉移標籤桿，更快地打造簡潔、易懂的模型
2020b :
- 活動分析器：視覺化呈現Stateflow 圖表的狀態、轉移和函式在模擬中的訪問頻率
2020a :
- Stateflow 變體：將轉移(transitions)作為變數控制項，以在邏輯設計中增加可變性
- 將Stateflow圖表作為測試框架來源和排程器：使用 Stateflow 定義複雜的測試場景（需要 Simulink Test）
2019b :
- Stateflow 入門之旅：您現在可以跟隨互動式課程，初步瞭解如何建立、編輯和模擬狀態機。
2019a :
- 新增在MATLAB中Stateflow 圖表：加入以MATLAB物件方式呈現的圖形化編程、調校和執行程式的獨立狀態機。
2018b :
- 新增模擬除錯器：利用簡化後的中斷點管理、逐個狀態步進以及使用資料與時間進行視覺化等功能檢查邏輯圖。
2017b :
- 新版本可在Stateflow 狀態內部加入連續和週期性的Simulink 演算法，讓您更容易實現模式切換
- 新增序列檢視器和模擬資料檢驗器以實現狀態轉換啟動和資料值視覺化。
- 加入轉換語法提示功能，讓您更容易建立具有智慧佇列和動作、新的暫存和訊息運算子以及自動配置以建立簡要、可讀的圖表。
2016b :
- 加入屬性檢查器、模型資料編輯器和符號管理器使編輯參數和資料更流暢。
2015b :
- 新增可搭載資料的物件且可用在佇列排程中
2014b :
- 用條件式中斷點、觀察資料以及快速動畫模式加快除錯。