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

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

基于SystemC和POOSL的语音识别系统的系统级建模与性能分析的对比

根据复杂嵌入式系统的系统级建模的需要,提出了一套复杂嵌入式系统的系统级设计流程和建模方法。该方法主要包括了层次化建模方法、Top-Down建模方法、面向对象建模技术和Y-Chart建模方法,并采用提出的系统级建模方法,分别使用SystemC语言和POOSL语言成功地对语音识别系统进行了建模;通过模型的仿真进行了性能分析,并对分别得到的性能分析结果进行了对比,两种语言的系统延迟时间与CPU占用率的性能分析结果基本一致,为建模人员进行复杂嵌入式系统的系统级建模和性能分析提供了指导与参考。

基于POOSL的系统级建模方法研究

针对复杂嵌入式系统,提出了基于POOSL的系统级建模方法,包括层次化建模方法、面向对象建模技术和基于Y-Chart的资源建模方法。为了验证这些方法的正确性和有效性,以无线接入系统为例,使用POOSL语言建立了它的系统级模型,根据模型的仿真执行结果,分析了活跃站点数和最小竞争窗口等参数对有效吞吐量、平均延时及CPU利用率等性能指标的影响。仿真结果表明,所提系统级建模方法能有效地应用于复杂嵌入式系统的建模。

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

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

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

本文介绍了面向对象的并行描述语言(POOSL,ParallelObject-OrientedSpecificationLanguage)的基本语义语法及相关的建模工具,并通过对一个基本的包交换系统的建模和分析,说明了利用POOSL进行软硬件系统的性能建模和性能分析的基本方法。

基于再生周期技术的POOSL构件库的扩展

针对POOSL不支持定量分析系统的吞吐量、时延等长期样本均值性能指标的缺点,引入再生周期技术扩展了POOSL的构件库。这对在系统早期设计阶段确定可行的参数设置具有重要的应用价值。

IEEE 802.11无线通讯协议的建模与性能分析

为了系统分析IEEE 802.11无线通讯协议的性能,基于POOSL语言建立了IEEE 802.11协议的性能抽象模型,对adhoc网络和带有AP的WLAN两种场景下协议的性能进行了定性和定量地分析。在建模过程中,对协议的机制进行了合理的抽象,重点解决了无线信道的仿真等问题,准确模拟了DCF的两种工作方式(基本方式和RTS/CTS)。通过模型模拟执行的结果,分析了相关参数(站点个数、竞争窗口大小、帧的长度)对协议性能指标(有效吞吐量、平均延时和上下行吞吐量公平性)的影响,并得到了不同站点数目情况下最佳的CWmin值等结果。