基于POOSL的系统级建模及性能分析

针对嵌入式系统设计复杂性的不断增加以及设计周期逐渐缩短的问题,提出一种系统级设计方法．在系统的软/硬件实现之前建立系统的抽象模型,对系统定性和定量属性进行评估,确定设计方案的可行性．阐述了系统级设计方法,以滑动窗口协议为例,基于系统级的设计方法建立了该协议的POOSL模型,定量分析了窗口大小、帧丢失率和超时间隔等参数对协议性能的影响．结果表明,该方法能在系统设计的早期阶段评估系统的设计方案．