收藏本站
《复旦大学》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

基于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 汪婵婵;徐兴雷;;基于SystemC的嵌入式系统软硬件协同设计[J];科技信息;2010年34期
2 石柯;基于SystemC的嵌入式系统软硬件协同设计[J];计算机应用研究;2002年06期
3 石柯;基于SystemC的嵌入式系统设计[J];小型微型计算机系统;2003年04期
4 刘金伟;方林波;黄樟钦;侯义斌;;基于SystemC的SoC系统级设计方法[J];佳木斯大学学报(自然科学版);2006年03期
5 赵川,徐涛,孙晓光;软硬件协同设计方法的研究[J];计算机工程与设计;2003年07期
6 王泉;史维峰;田泽;;一种基于SystemC的系统级软硬件协同设计新模型[J];电子技术应用;2009年08期
7 徐思刚,桑楠;基于SystemC的软硬件协同设计[J];湖北民族学院学报(自然科学版);2004年01期
8 朱成果 ,于淑玲;面向对象的嵌入式系统设计方法[J];单片机与嵌入式系统应用;2004年05期
9 杨荣;朱建彬;胡博;朱勇;;基于SystemC的片上系统设计[J];武汉科技学院学报;2008年07期
10 石柯;基于UML和SystemC的嵌入式系统集成开发方法的研究[J];高技术通讯;2003年11期
11 许维;赵艳;;基于UML的嵌入式系统可视化建模研究[J];制造业自动化;2011年01期
12 周剑扬,李诗勤,蒋小刚,吕文蔚,陈辉煌;基于SystemC的RISC CPU行为描述[J];厦门大学学报(自然科学版);2004年01期
13 丁健;;基于软/硬件协同设计的嵌入式系统的性能测试[J];电子质量;2007年05期
14 王建新;姚放吾;;基于UML的软硬件协同设计方法[J];计算机技术与发展;2006年01期
15 周长虹;;UML在嵌入式系统分析和设计中的应用[J];安徽电子信息职业技术学院学报;2009年06期
16 刘苗苗;张永生;;UML在指纹门禁系统开发中的应用[J];佳木斯大学学报(自然科学版);2007年05期
17 杨立春;;一种改进型UML在嵌入式系统中的应用[J];单片机与嵌入式系统应用;2007年01期
18 石柯,阳富民,胡贯荣;基于UML的嵌入式系统模型验证机制的研究[J];计算机工程与应用;2001年23期
19 陈燕,杜玄,彭澄廉;基于SystemC描述的嵌入式系统的自动化验证[J];同济大学学报(自然科学版);2004年08期
20 黄源;钟艳如;古天龙;;系统级描述语言SystemC到时间Petri网的转换技术[J];桂林电子科技大学学报;2006年06期
中国重要会议论文全文数据库 前10条
1 宋志刚;张杰;;弹载嵌入式系统设计技术[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
2 陈燕;杜玄;彭澄廉;;嵌入式系统面向方面编程(AOP)技术的应用[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
3 吴百锋;彭澄廉;孙晓光;;面向数据处理领域嵌入式系统在实时性约束条件下的软硬件划分[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
4 张军;王松龄;窦新华;赵烨;;基于nios Ⅱ嵌入式软核的网络接口设计[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
5 陈福;周树杰;林小竹;杨跃翔;;应用嵌入式系统进行数据采集的研究[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
6 孙柏林;;从“自成系统”到“嵌为一体”——军用嵌入式系统漫谈[A];04'中国企业自动化和信息化建设论坛暨中南六省区自动化学会学术年会专辑[C];2004年
7 冯斌;张恩军;隗娜;;基于嵌入式系统的无线监控终端研究[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年
8 刘树鑫;曹云东;侯春光;刘晓明;;嵌入式系统在断路器智能控制中的应用[A];第一届电器装备及其智能化学术会议论文集[C];2007年
9 朱芳;章坚武;;基于网络处理器的VoIP网关设计[A];浙江省电子学会第七次会员代表大会暨2007学术年会论文集[C];2007年
10 张腾飞;顾亦然;王瑾;;电气类专业嵌入式实践教学内容与方法的改革探索[A];第6届全国高等学校电气工程及其自动化专业教学改革研讨会论文集(下册)[C];2009年
中国重要报纸全文数据库 前10条
1 ;软件行业嵌入式系统分会成立[N];中国高新技术产业导报;2004年
2 龚炳铮;嵌入式系统大有作为[N];中国石油报;2003年
3 记者 王晓涛;物联网勿求中心和终端两全其美[N];中国经济导报;2010年
4 艾文;国产嵌入式系统重视二次开发[N];中国计算机报;2001年
5 ;微软嵌入式系统开发中心正式成立[N];人民邮电;2008年
6 朱挺;中国嵌入式系统产业联盟成立[N];中国高新技术产业导报;2008年
7 本报记者  凡晓芝;微软嵌入式系统大赛中国学生创佳绩[N];计算机世界;2006年
8 周晨;中国嵌入式工程师抢手[N];科技日报;2007年
9 ;有了VSPWorks嵌入式系统进通信[N];中国计算机报;2002年
10 郭淳学;嵌入式系统是嵌入式软件与IC发展基础[N];中国电子报;2008年
中国博士学位论文全文数据库 前10条
1 陈燕;基于UML的嵌入式系统系统级设计方法研究[D];复旦大学;2005年
2 程国达;嵌入式系统的硬/软件协同设计研究[D];复旦大学;2003年
3 栾静;模型驱动的系统级软硬件协同设计若干关键技术研究[D];华东师范大学;2006年
4 梁樑;可重构嵌入式系统快速原型方法及任务调度算法研究[D];复旦大学;2007年
5 王大伟;SoC软硬件协同设计中的高层映射技术研究[D];国防科学技术大学;2009年
6 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年
7 黄凯;面向特定应用的MPSoC设计流程平台研究[D];浙江大学;2008年
8 张鲁峰;软硬件协同综合及虚拟微处理器技术研究[D];国防科学技术大学;2002年
9 余金山;模型驱动的SoC系统级功能验证关键技术研究[D];国防科学技术大学;2007年
10 徐成;机电监控中嵌入式系统相关理论及应用研究[D];武汉理工大学;2006年
中国硕士学位论文全文数据库 前10条
1 邓婷;基于UML和SystemC的软硬件协同设计研究[D];武汉理工大学;2007年
2 孟庆洋;基于软硬件协同理论的PDA设计与实现[D];沈阳工业大学;2007年
3 陈科;嵌入式系统中UML技术的应用研究[D];电子科技大学;2009年
4 邹春杰;基于软硬件协同设计平台ECNUX的并行FFT设计[D];华东师范大学;2005年
5 俞雪山;嵌入式MINIX操作系统的设计[D];兰州大学;2007年
6 刘天泉;嵌入式系统软件设计方法研究及应用[D];浙江大学;2004年
7 姬绍东;嵌入式系统的LCD控制器系统及仿真研究[D];华北电力大学(北京);2009年
8 朱俊华;SystemC仿真平台下人脸检测算法的设计及验证[D];上海交通大学;2008年
9 简岩;嵌入式操作系统通用硬件抽象层设计研究[D];贵州大学;2007年
10 王岩;基于嵌入式Linux的UPnP设备控制技术的研究[D];中国海洋大学;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978