期刊文献+

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

System Performance Modeling and Performance Analysis with POOSL
下载PDF
导出
摘要 本文介绍了面向对象的并行描述语言(POOSL,ParallelObject-OrientedSpecificationLanguage)的基本语义语法及相关的建模工具,并通过对一个基本的包交换系统的建模和分析,说明了利用POOSL进行软硬件系统的性能建模和性能分析的基本方法。 The formal Parallel Object-Oriented Specification Language (POOSL) and corresponding tools for modeling and design of complex real-time hardware/ software systems are introduced in this paper. With a case study of modeling a packet switch system, the basic method of performance modeling and performance analysis for software/hardware system by using POOSL is presented.
出处 《微计算机信息》 北大核心 2007年第06S期295-298,共4页 Control & Automation
基金 高速时钟恢复电路数字化研究和应用国家自然科学基金重大研究计划项目子课题(90407011)
关键词 POOSL 性能建模 性能分析 POOSL Performance modeling Performance analysis
  • 相关文献

参考文献7

  • 1P.H.A.van der Putten and J.P.M.Voeten.Specification of Reactive Hardware/Software Systems.PhD thesis,Eindhoven University of Technology,Department of Electrical Engineering,1997.
  • 2K.Skadron,M.Martonosi,D.I.August,M.D.Hill,D.J.Lilja,and V.S.Pai.Challenges in Computer Architecture Evaluation.IEEE Computer,36 (8):pp.30-36,2003
  • 3J.Huang and J.P.M.Voeten.Predictability in Real-Time System Development (1) Semantics Support from Development Languages.In:Proceedings of the Forum on Specification and Design Languages (FDL'04) (Lille,France,September 14-17),pp.264-277.ECSI,Gi'eres,France,2004.
  • 4Y.Pribadi,J.P.M.Voeten,and B.D.Theelen.Reducing Markov Chains for Performance Evaluation.In:F.Karelse (Ed.),Proceedings of PROGRESS' 01 (Utrecht,The Netherlands,October 18),pp.173-179.STW Technology Foundation,Utrecht (The Netherlands),2001.
  • 5B.D.Theelen,P.H.A.van der Putten,and J.P.M.Voeten.Using the SHE Method for UML-based Performance Modelling.In:E.Villar and J.Mermet (Eds.),System Specification and Design Languages,Chapter 12,pp.143-160.Kluwer Academic Publishers,Dordrecht (The Netherlands),2003.
  • 6V.D.^Zivkovi'c and P.Lieverse.An Overview of Methodologies and Tools in the Field of System-Level Design.In:Embedded Processor Design Challenges:Systems,Architectures,Modeling and Simulation (SAMOS'01),pp.74-88.Springer-Verlag,Berlin(Germany),2002.LNCS 2268.
  • 7郭禾,刘涛,孟令健.计算机模拟系统的建模与实现[J].微计算机信息,2001,17(9):50-52. 被引量:5

二级参考文献2

  • 1白中英.计算机组成原理[M].科学出版社,1994..
  • 2葛本修.计算机组成与结构[M].北京:北京航空航天大学出版社,1992..

共引文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部