NYCU 與中原大學發表結合 DSPN 與最差情況響應時間 的汽車 CAN 網路時序分析框架
為何重要
該框架將隨機模擬與確定性分析結合，能同時驗證平均效能與最壞情況下的時序安全性，提升汽車即時通訊系統設計的可靠性。
NYCU 與中原大學發表新論文，提出結合 Deterministic and Stochastic Petri net (DSPN) 建模與最差情況響應時間 等式分析，以驗證汽車 CAN 網路的時序行為。研究團隊在 TimeNet 中實作模型，用來模擬基於優先權協調仲裁的訊息生成與非預設式傳輸，並計算保守的延遲上限。針對包含六個優先層級的 500 kbit/s 汽車 CAN 組態進行案例分析，結果顯示網路利用率約為 35.9%，且所有訊息類別的時序需求皆在安全範圍內，最差情況響應時間低於 2 ms。