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

嵌入式系统模型驱动设计方法 被引量：1

Model Driven Development Methodology for Embedded Systems
下载PDF
导出
摘要 提出基于模型驱动构架的嵌入式系统模型驱动设计方法·首先建立UMLforSystemC语言元模型,以扩充UML对硬件平台相关模型的描述能力;然后分析模型变换的映射规则;最后基于系统平台结构模型和软硬件划分提供模型变换实现·该方法能自动地生成不同实现的SystemC系统模型,以加速系统设计空间搜索效率,支持嵌入式系统的快速开发和验证· A model driven architecture （MDA）-based model driven development method for embedded systems is presented. The UMLforSystemC metamodel was established to extend the abilities to model hardware specific implementations for UML. Transformation rules were defined between platform independent models and platform specific models, i.e. UML models and SystemC models. Finally, the automatic transformation was implemented, which based on system＇s platform model and HW/SW partitioning. The proposed method provides automatic generation of different implementation models, so that there can be an increased efficiency of system space exploration and a rapid development and verification for embedded systems.
作者 陈燕 邱卫东 杜玄 彭澄廉
机构地区 复旦大学计算机与信息技术系 中兴通讯股份有限公司
出处 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第2期257-264,共8页 Journal of Computer-Aided Design & Computer Graphics
基金 国家自然科学基金(60573105)
关键词 嵌入式系统 模型驱动构架 UML SYSTEMC embedded systems model driven architecture （MDA） UML SystemC
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献16

  • 1Edwards S,Lavagno L,Lee E A,et al.Design of embedded systems:formal models,validation,and synthesis[J].Proceedings of the IEEE,1997,85(3):366-390
  • 2Balarin F,Giusto P D,Jurecska A,et al.Hardware-software co-design of embedded systems:the POLIS approach[M].New York:Kluwer Academic Publishers,1997
  • 3Martin G,Lavagno L,Louis-Guerin J.Embedded UML:a merger of real-time UML and co-design[C] //Proceedings of the 9th International Symposium on Hardware/Software Codesign (CODES'01),Copenhagen,2001:23-28
  • 4UML-SOC.International workshop on UML for SoC-design[OL].[2005-01-04].http://www.c-lab.de/uml-soc
  • 5Miller Joaquin,Mukerji Jishnu.MDA guide (Draft Version 0.2)[OL].[2005-01-04].http://www.omg.org/docs/ab/03-01-03.pdf
  • 6OMG documents[OL].[2005-01-04].http://www.omg.org/technology/documents/modeling_spec_catalog.htm
  • 7Sendall Shane,Kozaczynski Wojtek.Model transformation:the heart and soul of model-driven software development [J].IEEE Software,2003,20(5):42-45
  • 8程国达,彭澄廉.嵌入式系统描述与验证环境的实现[J].计算机辅助设计与图形学学报,2004,16(1):109-115. 被引量：9
  • 9Thorsten G,Stan L,Grant M.System design with SystemC[M].New York:Kluwer Academic Publishers,2002
  • 10Nguyen Kathy Dang,Sun Zhenxin,Thiagarajan P S,et al.Model-driven SoC design via executable UML to SystemC[C] //Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS),Lisbon,2004:459-468

二级参考文献11

  • 1Ralf Niemann. Hardware/Software Co-Design for Data Flow Dominated Embedded Systems [M]. Boston: Kluwer Academic Publishers, 1998
  • 2Frank Slomka, Matthias Dorfel, Ralf Munzenberger. Hardware/software codesign and rapid prototyping of embedded systems [J]. IEEE Design&Test of Computer, 2000, 17(2): 28～38
  • 3Ernst R, Henkel J, Benner T. Hardware/software co-synthesis for microcontrollers [J]. IEEE Design &Test of Computers,1993, 10(4): 64～75
  • 4Riccardo Mattolini, Paolo Nesi. An interval logic for real-time system specification [J]. IEEE Transactions on Software Engineering, 2001, 27(3): 208～227
  • 5Versionl. 4-2001, 2001, OMG Unified Modeling Language Specification [S].
  • 6Synopsys Inc. SystemC Version 2.0 user's guide [OL].http://www. systemc. org, 2001
  • 7Synopsys Inc. Functional specification for systemC 2.0 [OL].http://www. systemc. org, 2001
  • 8Shane Sendall, Alfred Strohmeier. Specifying concurrent system behavior and timing constraints using OCL and UML [A]. In:Proceedings of the Unified Modeling Language: Modeling Languages, Concepts and Tools, Tornoto, 2001. 391～405
  • 9Latronico Elizabeth, Koopman Philip. Representing embedded system sequence diagrams as a formal language [A]. In:Proceedings of the Unified Modeling Language: Modeling Languages, Concepts and Tools, Tornoto, 2001. 302～316
  • 10Lee Bilung. Specification and design of reactive systems [D].Berkeley: University of California, 2000

共引文献8

同被引文献1

引证文献1

计算机辅助设计与图形学学报
2006年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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