期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

模型驱动的嵌入式系统设计与性能优化 被引量：3

Model-driven Design and Performance Optimization in Embedded System
下载PDF
导出
摘要 直接从规范需求描述入手,研究了嵌入式系统设计中的模型映射、代码自动生成、协同验证和性能优化等关键技术问题,提出了以模型驱动的嵌入式系统软硬件协同设计方法,使面向应用的嵌入式系统设计,在不同抽象层次上同步设计与验证,经过性能优化后得到RTL级SystemC代码表示的虚拟原型,介绍了一个应用实例。 A method of model-driven co-design and performance analysis in embedded system is presented,Beginning with requirement description,it studies the key technologies about model mapping,automatic generating codes,coverification and performance optimlzation.The design of the application-oriented embedded system designs and verifies in abstract levels synchronously.The virtual prototype,represented by SystemC Programs of RT level,has been gained after optimizing, Finally,an instance of application is introduced.
作者 栾静 顾君忠
机构地区 华东师范大学计算机系计算机应用研究所 新疆师范大学数理信息学院
出处 《计算机工程与应用》 CSCD 北大核心 2006年第14期114-117,共4页 Computer Engineering and Applications
基金 上海市科技发展基金资助项目(编号:025007014)
关键词 模型驱动 模型映射 协同验证 性能优化 model-driven,model mapping,co-verification,performance optimization
分类号 TP202 [自动化与计算机技术—检测技术与自动化装置]
  • 相关文献

参考文献7

  • 1Jim Kenney.Optimizing the Design and Verification of Embedded Systems.http://www.mentor.com/soc/verification,2003.
  • 2Felice.Hardware-Software Co-design of embedded System-The Polis Approach[M].Kluwer Academic Publishers,1997.
  • 3Henkel J,Benner T,Ernst R et al.COSYMA:A Software-Oriented Approach To Hardware/Software Co-design[J].J Computer Software Eng,1994;2(3):193～311.
  • 4W Bo3ung,S A Huss,S Klaus et al.High-Level Embedded System Specifications Based on Process Activation Conditions[J].Journal of VLSI Signal Processing,Special Issue on System Design,Kluwer Academic Publishers,1999; 21 (3):277～291.
  • 5B Selic.The Pragmatics of Model-Driven Development[J].IEEE Software,2003; 20(5).
  • 6Miller,J Mukerji et al.Model Driven Architecture (MDA).http://www.omg.org/mda,2002-10.
  • 7邬斌浩,杜占坤,孙承绶.基于SystemC和Cocentric System Studio设计平台的SoC设计[J].半导体技术,2004,29(4):77-82. 被引量：1

二级参考文献6

  • 1[1]SWAN S. An Introduction to System Level Modeling in SystemC 2.0 [M].Cadence Design Systems Inc,2001.
  • 2[2]Website.[EB/OL]www,systemc.org
  • 3[3]BONANOME G. Hardware Description Languages Compared: Verilog and SystemC [EB/OL]. www.cs.columbia. edu.
  • 4[4]HOLLOWAY S, LONG D, FITCH A. From algorithm to SoC with SystemC and Cocentric System Studio [A]. Proc of SNUG (Synopsys Users Group)[C], San,Jose: Synopsys Inc. 2002.
  • 5[5]GERLACH J, ROSENSTIE W. System Level Design Using the SystemC Modeling Platform[A]. Proc of SASIMI[C]. Kyoto, Japan: 2000.
  • 6[6]KOGEL T, BUSSAGLIA D. SystemC Based Design of an IP Forwarding Chip with Cocentric System Studio [A]. Proc of SNUG[C]. Europe:2002.

同被引文献16

  • 1陈翔,王学斌,吴泉源.代码生成技术在MDA中的实现[J].计算机应用研究,2006,23(1):147-150. 被引量：25
  • 2常浩浩,覃征.基于EMF和OCL的MDA软件工程方法研究[J].计算机科学,2007,34(1):268-271. 被引量：11
  • 3SOKOLSKY O, LEE I, CLARKE D. Schedulability analysis of AADL models [ C ]//Proc of the 20th International Parallel and Distributed Processing Symposium. 2006.
  • 4FEILER P H, de NIZ D, RAISTRICK C, et al. From PIMs to PSMs [ C]//Proc of the 12th IEEE International Conference on Engineering Complex Computer Systems. Washington DC : IEEE Computer Society, 2007:365-370.
  • 5KHOLGADE S, WHITE J, REZA H. Comparing the specification of a near real-time commanding system using statecharts and AADL [ C]//Proc of the 4th International Conference on Information Technology. Washington DC: IEEE Computer Society, 2007:355-360.
  • 6CLEMENTS P C,WEIDERMAN N.Report on the 2nd International workshop on development and evolution of software architectures for product families,CMU/SEI-98-SR-003[R].Pittsburgh PA:Carnegie Mellon University,1998.
  • 7HA S.Model-based programming environment of embedded software for MPSoC[C]// Proceedings of the 2007 Asia and South Pacific Design Automation Conference.Washington,DC:IEEE Computer Society,2007:330-335.
  • 8SCHINZ I,TOBEN T,MRUGALLA C,et al.The Rhapsody UML verification environment[C]// SEFM'04:Proceedings of the 2nd International Conference on Software Engineering and Formal Methods.Washington,DC:IEEE Computer Society,2004:174-183.
  • 9DION B,LE SERGENT T,MARTIN B,et al.Model-based development for time-triggered architectures[C]// Proceedings of the 23rd Digital Avionics Systems Conference.Salt Lake City:IEEE Press,2004:6.D.3-6.1-7.
  • 10SOKOLSKY O,LEE I,CLARKE D.Schedulability analysis of AADL models[C]// Proceedings of the 20th International Symposium on Parallel and Distributed Processing.Washington,DC:IEEE Computer Society,2006:25-29.

引证文献3

二级引证文献5

计算机工程与应用
2006年 第14期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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