POOSL的扩展及其在性能分析中的应用研究

摘要：

为了定量分析系统的吞吐量、时延、缓存平均利用率等长期样本均值(long-run sample average)性能指标,应用再生周期技术(the technique of regenerative cycles)扩展了形式化建模语言POOSL的构件库.并针对在嵌入式系统中应用广泛的滑动窗口协议,使用扩展后的POOSL为选择重传滑动窗口协议建立了性能分析模型.根据模型模拟执行结果,定量地分析了窗口大小、包大小、超时间隔等参数对协议性能的影响.分析表明,扩展后的POOSL能够有效地应用于对系统的长期样本均值性能指标进行定量分析.

关键词：模型、性能分析、模拟、POOSL、再生周期

所属期刊栏目：19

分类号：TP391.9(计算技术、计算机技术)

资助基金：国家自然科学基金;北京市教委科技发展计划

在线出版日期：2007-07-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2908-2912