期刊文献+

基于模型的嵌入式开发环境--LambdaMDE 被引量:1

LambdaMDE:Embedded development environment based on model
下载PDF
导出
摘要 面向嵌入式软件的开发工具目前正在从基于代码的传统开发环境向基于模型的开发环境发展。为此,研究了一个基于模型的嵌入式开发环境LambdaMDE,在LambdaPro的基础上集成OSATE和Simulink模型开发工具以及其他相关工具,包含了建模、仿真验证、代码生成和测试等嵌入式软件开发的全过程。符合嵌入式软件开发工具发展趋势,具备了相应的理论、技术和产品基础。 Recently the development tools of embedded-oriented software are developing from the code-based traditional development environment to model-based development environment.Therefore,the authors studied a model development environment for embedded software called LambdaMDE,which integrated some model development tools such as OSATE and Simulink and other correlative tools by LambdaPro,and hence,it covered the entire development process of embedded software,such as modeling,simulation,verification,code generation and testing.It is consistent with the development trend of embedded software tools,and also has the corresponding theoretical,technique and product foundations.
出处 《计算机应用》 CSCD 北大核心 2010年第3期607-611,共5页 journal of Computer Applications
基金 国家自然科学基金重大研究计划项目(90718019) 国家863计划项目(2007AA010304)
关键词 模型方法 嵌入式软件 开发环境 model approach embedded software development environment
  • 相关文献

参考文献9

  • 1CLEMENTS 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.
  • 2栾静,顾君忠.模型驱动的嵌入式系统设计与性能优化[J].计算机工程与应用,2006,42(14):114-117. 被引量:3
  • 3HA 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.
  • 4SCHINZ 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.
  • 5DION 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.
  • 6SOKOLSKY 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.
  • 7FEILER P H,GREENHOUSE A.OSATE plug-in development guide[M].Pittsburgh:Software Engineering Institute of Carnegie Mellon University,2006:5-8.
  • 8GUI SHENG-LIN,LUO LEI,LIU QIAN,et al.UCaS:A schedulability analysis tool for AADL models[C]// Proceedings of 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.Washington,DC:IEEE Computer Society,2008:449-454.
  • 9GUI SHENG-LIN,MA LIANG,LUO LEI,et al.UCaG:An automatic C code generator for AADL based upon DeltaOS[C]// ICACTE'08:Proceedings of the 2008 International Conference on Advanced Computer Theory and Engineering.Washington,DC:IEEE Computer Society,2008:346-350.

二级参考文献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

共引文献2

同被引文献13

  • 1SAE International.Architecture Analysis and Design Refer-ences Language( AADL)[ S].AS5506,2004.
  • 2Berthomieu B,Bodeveix Jean-Paul,Chaudet C,et al.FormalVerification of AADL Specification in the Topcased Environ-ment [ C]//Proc.of the 14th Ada-Europe International Con-ference on Reliable Software Technologies.Berlin : Springer-Verlag,2009.
  • 3李建一.基于模型驱动的嵌人式实时系统开发平台的研究与实现[D].成都:电子科技大学,2009.
  • 4Sokolsky 0,Lee I,Clarke D.Process-Algebraic Interpretion ofAADL Model[ C]//Proc.of Ada-Europ 2009.Berlin;Spring-er-Verlag ,2009.
  • 5刘雪琴.基于体系结构分析设计语言的实时系统模型开发平台应用研究[D].成都:电子科技大学,2009.
  • 6杨志义,张琛雨,董云卫.AADL软件容错系统建模与评估[J].计算机测量与控制,2009,17(4):779-782. 被引量:8
  • 7刘倩,桂盛霖,李允,罗蕾.基于UPPAAL的AADL模型可调度性验证[J].计算机应用,2009,29(7):1820-1824. 被引量:16
  • 8王庚,周兴社,张凡,董云卫.AADL模型的测试方法研究[J].计算机科学,2009,36(11):127-130. 被引量:5
  • 9冯冰,杨志义,董云卫,马春燕.一种面向AADL架构的模型测试方法[J].计算机测量与控制,2010,18(4):778-781. 被引量:3
  • 10马春燕,董云卫,朱宇峰,陆伟.AADL测试模型的构造研究[J].西北工业大学学报,2010,28(6):968-973. 被引量:2

引证文献1

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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