标题: | 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 |