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

软件天地 文章编号：1008-0570(2007)06—1—0295—03 基于 POOSL的系统性能建模与性能分析 System PerformanceModelingandPerformanceAnalysisWithPOOSL 华大学)刘付娥 葛 宁 周祖成 LIUFU．E GENJNG ZHOU ZUCHENG 摘要：本文介绍 了面向对象的并行描述语言 (POOSL，ParallelObject～OrientedSpecificationLanguage)的基本语义语法及相关的 建模工具 ，并通过对一个基本 的包交换 系统 的建模和分析 ，说 明了利用 POOSL进行软硬件 系统 的性能建模和性能分析 的基 本 方法 。 关键词 ：PooSL：性能建模 ；性能分析 中图分类号 ：TP302；TN915 文献标识码：A Abstract：TheformalParallelObject—OrientedSpecificationLanugage(POOSL)andcorrespondingtoolsformodelinganddesignof complex real—timehardware／softwaresystemsrae introduced in thispaper． With acase study ofmodelingapacketswitch system， thebasicmethodofperformna cemodelingnadperfomr anceanalysisofrsoftwrae／hradwraesystem byusingPOOSL ispresented． Keywords：POOSL；Performancemodeling；Performanceanalysis 构化架构进行建模。 1 引言 数据层：提供数据对象(dataobject)的使用。数据对象是数 电子系统设计的复杂度 日益提高的同时，产品上市时间越 据类(dataclass)的例化 ，用来描述系统模块生成的、派生的、改 来越短，这使得设计者越来越关注设计前期的系统级规范描述 变的或者消费的信息。模块之间的信息通信也通过数据对象进 以及初期建模和性能分析。复杂的实时性软硬件系统通常需要 行描述。数据类的定义包括名称(name)，单独的派生关系(single 考虑满足功能的不同的实现方案。设计的初期阶段 ，需要根据 inheritancerelation)，实例变量(instnacevariables)和实例方法(in— 不同方案的性能来决定最终的实现方案。因此，初期的建模必 stancemethods)。实例变量或者全局变量描述 了数据对象的属 须是可执行模型。允许设计者在完成设计的软硬件描述之前对 性。数据对象的顺序行为由实例方法或者是相关数据类的数据 设计方案进行评估和仿真，来验证其是否满足所有的功能和性 方法来定义。其定义形式如表 1所示。其中，m是方法名称 ，D 能需求。模型通常用来对系统的具体的特征作一些规定和研 表示方法返回对象，Pl：Dpl’…pD 为参数声明，II：D …，I：D 为本 究。基于性能特征评估 目的建立的模型成称为能建模。实际的 地变量声明。E是表达式，而primitive则是POOSL语义语法集 性能特征评估通常也称为性能评估或者性能分析。 中的定理和公理(原语)。 我们选择有着严格数学定义的规范性描述语言 POOSL 表 1：数据对象的定义形式 (ParallelObject—OrientedSpecificationLanugage．面向对象的并 m(pj：DPI…．pi：DeoDr m(pj：DPI’．．．pi：DeoDr