產品及服務 > Stateflow® 事件導向系統模擬軟體
Stateflow® 事件導向系統模擬軟體

Introduction
事件導向系統模擬軟體透過開發有限狀態機和流程圖的設計環境擴展Simulink的功能。此模組使用自然、可讀和易理解的形式來表達複雜邏輯,同時與MATLAB和Simulink緊密結合,為包括控制、優先順序管理、工作模式邏輯的嵌入式系統的設計提供了有效的工作環境。

Stateflow Chart採用圖形建模方式建構層次化的,並行工作的狀態和之間由事件驅動的邏輯轉移關係。Stateflow在傳統狀態圖的基礎上擴展了控制流、Embedded MATLAB、圖形函數、真值表、臨時運算子、直接事件廣播,並可以整合用戶手寫的C程式碼。

本工具箱使用需搭配MATLAB、Simulink。

Key Features

  • 提供層次化、可並行的、具有明確執行語義的建模語言元素,並以自然易懂的形式來描述複雜邏輯系統
  • 使用流程圖定義圖形化函數,使用Embedded MATLAB進行程式設計操作、使用真值表完成表格形式的處理
  • 採用臨時邏輯調度狀態轉移與事件
  • 支援Mealy和Moore有限狀態機
  • 可整合使用者自訂輸入輸出變數的C程式碼
  • 支援向量,矩陣,匯流排訊號和定點資料類型
  • 可進行靜態模型檢查,包括病態定義的真值表
  • 可動態檢測轉移衝突,閉環,狀態不一致,資料範圍錯誤和溢出問題
  • 模擬進行中以動畫顯示狀態圖的運行並記錄資料,以便於對系統的理解和偵錯
  • 整合了一個偵錯器,採用圖形化中斷點進行單步偵錯器,在偵錯時流覽其中的資料
  • 狀態轉換表、MATLAB可以做為動作語言,以及在圖表內可進行除錯(and in-chart debugging)
  • 2014b用條件式中斷點、觀察資料以及快速動畫模式加快除錯。
  • 2015b新功能: 訊息 — 新增可搭載資料的物件且可用在佇列排程中
  • 2016b加入屬性檢查器、模型資料編輯器和符號管理器使編輯參數和資料更流暢。

2018b加入 :

  • 新增模擬除錯器:利用簡化後的中斷點管理、逐個狀態步進以及使用資料與時間進行視覺化等功能檢查邏輯圖。