标题: Verification and performance analysis for real-time networks using SDL□e
作者: 许俊萍
Xu, Zun-Ping
杨启瑞
Yang, Qi-Rui
资讯科学与工程研究所
关键字: 高速网路;系统验证;效能分析;资讯;电脑;电子工程;INFORMATION;COMPUTER;ELECTRONIC-ENGINEERING;INFORMATION-SCIENCE
公开日期: 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/#NT804393001
http://hdl.handle.net/11536/56437
显示于类别:Thesis