收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于UML的嵌入式系统系统级设计方法研究

陈燕  
【摘要】:随着微电子技术和超大规模集成电路的高速发展,嵌入式系统的规模越来越大,硬件部分的异构程度和软件部分的功能复杂程度都达到了历史最高点。在更高的设计复杂度和更短的面市时间压力下,提高抽象层次,采用软硬件协同设计方法,进行系统级设计已成为解决问题的有效途径。模型驱动构架(MDA)是目前软件工程领域内重要的战略方向,它以若干的标准定义了一个软件开发框架。UML模型是MDA中的核心任务,整个开发过程以系统的建模行为为驱动。比较MDA与嵌入式系统软硬件协同设计方法可以发现,它们在任务和目标上非常一致,如系统软硬件无关的统一建模,系统综合和验证等等。嵌入式系统的设计方法一直和软件开发方法保持相对的距离,本文尝试在嵌入式系统设计中融合先进的软件工程成果,促进嵌入式系统设计方法的新发展。 本文的重点是基于UML的嵌入式系统系统级设计方法研究。主要围绕模型驱动构架(MDA),研究嵌入式系统的平台无关模型(PIM),平台相关模型(PSM),模型转换方法,以及模型验证等方面。论文主要进行了以下四个方面的工作: 1) 以UML2.0版本的最终草案为依据,对UML和采用面向对象技术的实时嵌入式系统建模进行了介绍。提出以MDA为主要框架的嵌入式系统设计新流程,该流程的主要特点是:以UML模型为系统的主要设计模型,分别包括平台无关和平台相关两种不同抽象层次的模型,从而有效分离系统功能和实现描述;系统综合通过自动化的模型变换来实现,因此能够提高开发效率,支持设计空间的快速搜索。 2) SystemC语言通过扩展C++类库来提供对系统硬件结构的描述能力,且支持从寄存器级到系统级等不同的抽象层次,是目前重要的嵌入式系统级设计语言之一。本文采用它作为系统实现的目标平台语言,一方面用来对系统目标平台的特定软硬件结构进行描述,另一方面用来表示系统综合后的系统实现。扩展的UMLforSystemC语言是MDA中平台相关建模的基础,也是实现自动化模型变换的(系统综合)的重要形式化基础。在进行模型映射规则分析后,本文提供了自动的模型变换实现。 3) UML可视化建模的运用为良好的设计奠定了基础,然而UML模型仍然缺乏细节的行为描述能力,阻碍了UML可执行模型的创建。本文首先以UML的子集为基础,然后结合自定义的模型动作语言(action language,AL)。模型动作语言包含了普通可执行语言的特点,并增加了对模型元素的操作能力和嵌入式系统的并发特征,为UML模型提供了细节的行为描述手段,从而支持系统平台无关的完整模型描述。本文提供了动作语言的词法和语法分析,并基于模板变换实现了动


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 罗娟;曹阳;;蓝牙链路管理的系统级SOC设计方法[J];华中科技大学学报(自然科学版);2006年08期
2 邵洋;刘鸿瑾;何星;张铁军;侯朝焕;;专用指令集处理器系统级设计方法[J];微电子学与计算机;2007年07期
3 舒心;FineLine BGA封装使更多管脚的系统级设计成为可能[J];世界电子元器件;1999年12期
4 来卫国 ,李建新;用Xilinx Foundation平台进行系统级设计[J];电子产品世界;2002年Z2期
5 谢建兵;苑伟政;常洪龙;徐景辉;;一种MEMS CAD系统级到工艺级版图生成技术[J];科学技术与工程;2006年13期
6 邵洋;单睿;张铁军;侯朝焕;;基于可配置处理器的SoC系统级设计方法[J];计算机工程与应用;2006年26期
7 黄蓓;赵永建;王玉艳;;交换控制电路的系统级建模[J];计算机工程;2006年22期
8 范逸雪;段成华;;系统级硬件描述语言SpecC词法分析器设计与实现[J];计算机工程与科学;2008年08期
9 肖卫初,陈伟宏;EDA技术的发展与设计[J];益阳师专学报;2002年06期
10 石柯;基于SystemC的嵌入式系统设计[J];小型微型计算机系统;2003年04期
11 关乐;褚金奎;王晓东;张段芹;王立鼎;;系统级设计方法及其在力学特性集成测试中的应用[J];传感技术学报;2006年05期
12 Frank Liu;;使用嵌入式MATLAB实现算法与系统级设计整合[J];电子设计应用;2008年11期
13 马炳和,霍鹏飞,苑伟政;MEMS系统级设计与基于多端口组件网络的建模方法[J];微纳电子技术;2003年Z1期
14 马潇;谢凯年;董峰;;基于MADL语言的时钟精确级仿真器生成[J];计算机仿真;2007年08期
15 ;Actel创新的SmartDesign功能可简化系统级设计[J];中国新技术新产品;2007年07期
16 翟东辉;;系统级设计——DSP及通信系统解决方案[J];集成电路应用;2003年01期
17 刘文明,蔡敏,李政林;带并行总线基于USB接口芯片的系统级设计及实现[J];华南理工大学学报(自然科学版);2003年12期
18 徐诺,胡永华,刘方海,高明伦;系统级设计开发工作组及其颁布的标准[J];微电子学与计算机;2002年11期
19 Ann Steffora Mutschler;;EDA设计方法学将发生改变[J];电子经理世界;2006年06期
20 国蓉;王小娟;王伟;;基于MEMS的微引信谐振器系统级设计[J];兵工自动化;2008年11期
中国重要会议论文全文数据库 前10条
1 冯良;冀晓鹏;白文乐;;基于DSP Builder的ADPCM系统设计研究[A];2009通信理论与技术新发展——第十四届全国青年通信学术会议论文集[C];2009年
2 李威;李春升;张寅生;张睿;陈治科;;基于MATLAB的星载SAR波位设计性能分析系统[A];第七届全国信息获取与处理学术会议论文集[C];2009年
3 罗娟;曹阳;李德识;;基于模式的SOC设计方法研究[A];2004年全国通信软件学术会议论文集[C];2004年
4 王大伟;熊志辉;曹亚菲;李思昆;;基于OCP通讯的SoC虚部件级软硬件协同建模方法[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
5 苑伟政;;微机电系统(MEMS)集成设计技术[A];第七次海峡两岸机械工程技术交流会论文集[C];2004年
6 宋志刚;张杰;;弹载嵌入式系统设计技术[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
7 甘宏;潘丹;;基于嵌入式计算机性能评测技术的分析与研究[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
8 陈燕;杜玄;彭澄廉;;嵌入式系统面向方面编程(AOP)技术的应用[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
9 刘付娥;葛宁;;在面向对象的SoC设计中应用设计模式[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
10 马涛;陈娟;单洪;;基于DSPBuilder的数字下变频器FPGA设计[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 李丽;集成电路设计方法及IP设计技术的研究[D];合肥工业大学;2002年
2 黄凯;面向特定应用的MPSoC设计流程平台研究[D];浙江大学;2008年
3 王颖;嵌入式可重构计算系统的设计技术研究[D];复旦大学;2009年
4 陈燕;基于UML的嵌入式系统系统级设计方法研究[D];复旦大学;2005年
5 冯向军;多学科设计优化方法及其在导航星座设计中的应用[D];国防科学技术大学;2008年
6 栾静;模型驱动的系统级软硬件协同设计若干关键技术研究[D];华东师范大学;2006年
7 张幂;基于动态语言的系统描述、验证和综合[D];复旦大学;2009年
8 梁樑;可重构嵌入式系统快速原型方法及任务调度算法研究[D];复旦大学;2007年
9 王大伟;SoC软硬件协同设计中的高层映射技术研究[D];国防科学技术大学;2009年
10 桑胜田;基于相关性的SoC软硬件划分技术研究[D];哈尔滨工业大学;2010年
中国硕士学位论文全文数据库 前10条
1 贾晓力;基于8051的TLM系统级模型的初步研究[D];华北电力大学(北京);2004年
2 王颖;SerDes系统级设计及行为级验证[D];电子科技大学;2012年
3 曹晓龙;适用于SoC系统级设计的处理器指令集仿真技术的初步研究[D];华北电力大学(北京);2004年
4 廖永为;基于UML/XML的ASIP系统级设计研究[D];武汉纺织大学;2011年
5 刘莉娟;适用于SoC系统级设计的平台集成技术的初步研究[D];华北电力大学(北京);2004年
6 琚贇;SoC系统级设计中对操作系统的支持技术的研究[D];华北电力大学(北京);2006年
7 王灿;无线传感器网络系统级建模与设计研究[D];湖南大学;2006年
8 霍鹏飞;MEMS的集成设计平台建模及其系统级设计技术[D];西北工业大学;2002年
9 郭媛妮;基于嵌入式计算结构的防火墙设计与实现[D];湖南大学;2004年
10 马潇;基于MADL语言的时钟精确级仿真器生成[D];上海交通大学;2007年
中国重要报纸全文数据库 前10条
1 赵艳秋;华讯:向GPS芯片提供商迈进[N];中国电子报;2007年
2 谭啸;推动端到端的PLM[N];计算机世界;2007年
3 中国电子信息产业集团公司信息技术研究院 陈贤;集成电路设计业呼唤“旗舰”[N];中国电子报;2004年
4 本报记者 穆强;北京华虹NEC软件研发添引擎[N];中国电子报;2002年
5 于寅虎;IC设计人才瓶颈有望突破[N];中国电子报;2003年
6 莫大康;解决IC设计人才不足问题[N];中国电子报;2003年
7 本报记者 薛斐;ASIC的强心剂[N];计算机世界;2003年
8 本报记者 于寅虎;中国半导体业的一次整体检阅[N];中国电子报;2003年
9 ;WCDMA高通重磅出击[N];通信产业报;2000年
10 贺宏良;跟还是不跟[N];中国计算机报;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978