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