Verification and performance analysis for real-time networks using SDL□e

Abstract

即時網路(Real-time Networking)已經成為通訊領域中重要且必需的條件。舉例來 說，如高速區域網路(HSLAN) 的FDDI，都會區域網路的DQDB，及廣域網路ATM 與B- ISDN。即時網路的特性需求包含無碰撞傳輸，高傳輸量，低封包延遲與公平存取。 因此，在一個良好的正規環境下，驗證並分析網路效能的特性將變成非常重要。到 目前為止，正規的語言，像SDL 和Estelle ，無法全部滿足這些需求。在此篇論文 中，提出SDL 的變形版本，叫ＳＤＬ□，來對即時網路提供一個強而有效率的規格 及操作環境。為了克服SDL 在語意上的缺陷，ＳＤＬ□加上了時間，平行及機率的 模型化，及一個臨界區間 (critical sections) 的概念。另外，我們提出一個從 ＳＤＬ□到延伸的有限狀態機系統的對應方法，驗證及效能分析是建構在此延伸的 有限狀態機系統上。為了從事驗證及效能分析，我們將先談到一種存取結構，定義 為週期性的協定。此篇論文提出一個三階段演算法：時間擴展樹建造階段，無碰撞 性驗證階段，與效能分析階段。基於建構好的時間擴展樹，週期性協定將被驗證是 屬於無碰撞性的；分析出此網路的傳輸效能；並計算此網路的傳輸量及使用率。最 後，一個權杖環網路的例子將被用來說明模型，驗證，與效能分析的全部過程。