標題: 高速網路系統驗證及效能分析
Verification and performance analysis for real-time networks using SDL□e
作者: 許俊萍
XU, JUN-PING
楊啟瑞
YANG, QI-RUI
資訊科學與工程研究所
關鍵字: 高速網路;系統驗證;效能分析
公開日期: 1991
摘要: 即時網路(Real-time Networking)已經成為通訊領域中重要且必需的條件。舉例來 說,如高速區域網路(HSLAN) 的FDDI,都會區域網路的DQDB,及廣域網路ATM 與B- ISDN。即時網路的特性需求包含無碰撞傳輸,高傳輸量,低封包延遲與公平存取。 因此,在一個良好的正規環境下,驗證並分析網路效能的特性將變成非常重要。到 目前為止,正規的語言,像SDL 和Estelle ,無法全部滿足這些需求。在此篇論文 中,提出SDL 的變形版本,叫SDL□,來對即時網路提供一個強而有效率的規格 及操作環境。為了克服SDL 在語意上的缺陷,SDL□加上了時間,平行及機率的 模型化,及一個臨界區間 (critical sections) 的概念。另外,我們提出一個從 SDL□到延伸的有限狀態機系統的對應方法,驗證及效能分析是建構在此延伸的 有限狀態機系統上。為了從事驗證及效能分析,我們將先談到一種存取結構,定義 為週期性的協定。此篇論文提出一個三階段演算法:時間擴展樹建造階段,無碰撞 性驗證階段,與效能分析階段。基於建構好的時間擴展樹,週期性協定將被驗證是 屬於無碰撞性的;分析出此網路的傳輸效能;並計算此網路的傳輸量及使用率。最 後,一個權杖環網路的例子將被用來說明模型,驗證,與效能分析的全部過程。
URI: http://140.113.39.130/cdrfb3/record/nctu/#NT802393042
http://hdl.handle.net/11536/55876
Appears in Collections:Thesis