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