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

嵌入式系统的硬/软件协同设计研究

程国达  
【摘要】: 嵌入式计算机系统是用于完成特定功能的计算机系统,例如,激光打印机、移动电话、微波炉、汽车的防抱死控制器等,它一般是由微处理器、ASIC、总线、存储器等组成。随着微电子技术中的深亚微米技术的发展,嵌入式系统可以被集成到一块芯片上,形成片上系统“SOC”。如果说靠手工可以满足一些简单的,低性能的嵌入式系统的设计的话,那么,对于复杂的、高性能的嵌入式系统,手工设计将会非常困难。解决这个问题的有效方法是采用嵌入式系统的设计自动化技术。 嵌入式系统的设计自动化技术可以缩短系统的开发周期,降低开发费用,提高设计质量,使产品具有更强的市场竞争力。因此,它已经成为当前EDA领域的热点研究问题。目前,国内外许多大学、公司都有项目组在从事这项技术的研究工作。本文研究了嵌入式系统自动化设计技术中的一些问题,主要进行了以下4个方面的工作: 1.介绍和分析了具有代表性的嵌入式系统设计自动化系统,如Cool、Cosyma、SpecSyn、Chinook、Polis和Corsair等。提出了一个基于UML系统描述的,SystemC模拟验证的,利用CoCentric SystemC Complier进行硬件综合的自动化设计方案,这个方案最大特点是可实现性强。UML是一个面向对象的图形化语言,它提供的多种视图可以从静态和动态两个方面来描述系统,它的面向对象的特性不仅为系统的描述提供了便利条件,而且这个特性还有利于将UML描述的系统转换成SystemC。SystemC是一种适合于进行硬/软件协同设计和模拟的语言,它在C++语言的基础上扩充了硬件系统的描述功能。相对于C~x,HardwareC和SpecC来说,SystemC的优势在于,其一它本身有很强大的软件/硬件描述功能,其二由于有众多公司的支持,它的描述功能不断增强,其三是与它相关的支持软件系统的不断推出,例如,Synopsys公司的模拟工具CoCentric SystemCStudio和硬件综合工具Cocentric SystemC Complier等。因此,SystemC很有希望成为标准的硬/软件协同设计和模拟语言。 2.提出了一个基于UML的嵌入式系统的描述和设计方法。其中,用例图用来描述系统设计中的设计需求和约束条件,约束条件主要包括最大功率、硬件逻辑门的最大使用数和软件代码的最大长度等。类用来描述所要设计系统的功能,类对象之间的相互作用在顺序图中描述。顺序图不仅描述对象之间通过消息的发送和接收所进行的相互作用,而且还描述了对象所必须满足的时间约束。状态图则用来描述对象内部的动态行为,在每个状态中都要完成一定的活动,这个活动 用活动图来描述。为了在UML中描述系统的实时性能,本文设计了一个用于系 统实时性能描述的实时包,在这个包中包括时钟类、定时器类和通讯类。其中, 时钟类用于对象读取时间值,定时器类用于对象在活动过程中的计时功能,通讯 类用于对象之间的通讯。此外,在本文中,还提出了用于顺序图与状态图的一致 性、顺序图消息的连通性的形式化验证的算法。 3.UML描述的系统的模拟验证是用SystetnC来完成。目前,市场上还没有 工具支持将UML描述的视图转换成SystemC代码。为此,本文提出并初步实现 了一个将UML的用例图、顺序图、状态图和活动图中系统描述信息转换成 SystemC代码的算法。转换算法分两步。第一步是分析UML的描述文件,并从 文件中抽取用例图中的设计性能约束信息和顺序图中的时间约束信息生成约束 文件 constraint,从顺序图信息生成 sequence文件和多幅顺序图综合后的文件 srpseq,从类图生成class文件,从状态图生成state文件,从活动图生成activity 文件;第二步是根据这些文件中的信息生成SystemC文件。其中,用synseq去 生成主函数swain*文件,用 state和 class去生成模块文件,用 activity去生成进 程文件。 4.硬/软件划分算法是嵌入式系统自动化设计中关键技术之一,本文在比较 了现有硬/软件划分算法的基础上提出了一个约束驱动和松弛时间消除相结合的 硬/软件划分算法,它是 GCLP/IBS[对测分算法的改进和扩充。该算法由两部分组 成。第一部分是根据约束的紧迫度决定节点用硬件还是用软件执行;第二部分则 通过消除节点之间的松弛时间进一步优化硬/软件划分。这个算法与GCLP/IBS 算法相比,时间复杂度下降了n倍,其中n是节点个数。此外,还提出了一个获 取硬/软件划分所需要的硬/软件面积和其对应的执行时间的方法。
【学位授予单位】:

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 杨荣;赵建勋;;基于SystemC的嵌入式系统规约建模[J];咸宁学院学报;2010年12期
2 陈燕,杜玄,彭澄廉;基于SystemC描述的嵌入式系统的自动化验证[J];同济大学学报(自然科学版);2004年08期
3 陈燕;邱卫东;杜玄;彭澄廉;;嵌入式系统模型驱动设计方法[J];计算机辅助设计与图形学学报;2006年02期
4 石柯;基于SystemC的嵌入式系统设计[J];小型微型计算机系统;2003年04期
5 汪婵婵;徐兴雷;;基于SystemC的嵌入式系统软硬件协同设计[J];科技信息;2010年34期
6 徐思刚,桑楠;基于SystemC的软硬件协同设计[J];湖北民族学院学报(自然科学版);2004年01期
7 陈曦,徐宁仪,周祖成;嵌入式系统虚拟原型平台的SystemC实现[J];计算机辅助设计与图形学学报;2004年08期
8 石柯;基于UML和SystemC的嵌入式系统集成开发方法的研究[J];高技术通讯;2003年11期
9 王建新;姚放吾;;基于UML的软硬件协同设计方法[J];计算机技术与发展;2006年01期
10 周长虹;;UML在嵌入式系统分析和设计中的应用[J];安徽电子信息职业技术学院学报;2009年06期
11 苏琼,胡继承,张振兴;基于UML的嵌入式系统的分析与设计[J];计算机应用研究;2005年11期
12 顾卫杰;王云良;史二颖;钱月霞;;基于UML的嵌入式模型设计及应用研究[J];重庆电子工程职业学院学报;2010年05期
13 石柯,阳富民,胡贯荣;基于UML的嵌入式系统模型验证机制的研究[J];计算机工程与应用;2001年23期
14 卢媛媛;陈丽羽;;基于面向对象的嵌入式声音监控系统的设计与实现[J];黄冈师范学院学报;2006年03期
15 WARREN WEBB;;嵌入式装置上网的保密措施[J];电子设计技术;2001年12期
16 陈利锋;刘博勤;涂时亮;陈章龙;;嵌入式系统网络互连技术的设计与实现[J];计算机科学;2001年10期
17 高峰;质量提高 新品涌现——2002年嵌入式系统及其应用研讨会暨多国产品展示会侧记[J];电子产品世界;2002年23期
18 张承瑞,吴俊卿,李剑峰;嵌入式Linux在数控系统中的应用[J];制造业自动化;2003年02期
19 蒋巧文,潘孟春;高性能低功耗的32位RISC微处理器HMS30C7202[J];湖南理工学院学报(自然科学版);2004年03期
20 倪天龙 ,张贤高 ,王培;数据库SQLite在嵌入式系统中的应用[J];单片机与嵌入式系统应用;2005年10期
中国重要会议论文全文数据库 前10条
1 陈燕;杜玄;彭澄廉;;嵌入式系统面向方面编程(AOP)技术的应用[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
2 陈福;周树杰;林小竹;杨跃翔;;应用嵌入式系统进行数据采集的研究[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
3 孙柏林;;从“自成系统”到“嵌为一体”——军用嵌入式系统漫谈[A];04'中国企业自动化和信息化建设论坛暨中南六省区自动化学会学术年会专辑[C];2004年
4 冯斌;张恩军;隗娜;;基于嵌入式系统的无线监控终端研究[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年
5 刘树鑫;曹云东;侯春光;刘晓明;;嵌入式系统在断路器智能控制中的应用[A];第一届电器装备及其智能化学术会议论文集[C];2007年
6 朱芳;章坚武;;基于网络处理器的VoIP网关设计[A];浙江省电子学会第七次会员代表大会暨2007学术年会论文集[C];2007年
7 董治华;张林锐;刘亮;;基于智能压力变送器的嵌入式检测系统研究[A];第十九届测控、计量、仪器仪表学术年会(MCMI'2009)论文集[C];2009年
8 李光先;陆阳;;应用UC/OS-Ⅱ设计嵌入式实时多任务软件[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
9 梁磊;洪永强;;基于网络技术的嵌入式系统[A];福建省科协第四届学术年会提升福建制造业竞争力的战略思考专题学术年会论文集[C];2004年
10 尔宾;虞小伟;吴强;刘明亮;;基于实时嵌入式操作系统的多媒体播放器设计[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
中国重要报纸全文数据库 前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 程国达;嵌入式系统的硬/软件协同设计研究[D];复旦大学;2003年
2 陈燕;基于UML的嵌入式系统系统级设计方法研究[D];复旦大学;2005年
3 赵国冬;嵌入式系统弹性应对方法研究[D];哈尔滨工程大学;2011年
4 钟涛;基于SystemC的集成电路设计方法研究[D];电子科技大学;2003年
5 叶俊;面向特征的SystemC模型产品线的开发和形式化功能验证技术研究[D];国防科学技术大学;2011年
6 陈文智;Pcanel——基于模型驱动的嵌入式系统设计平台[D];浙江大学;2005年
7 郭军;基于Petri网的嵌入式系统高层级设计方法与技术研究[D];西北大学;2007年
8 刘大亮;一种球形移动机器人的运动分析与控制技术的研究[D];北京邮电大学;2009年
9 张付祥;创伤手指康复机械手系统研究[D];哈尔滨工业大学;2007年
10 刘传波;列车纵向冲动的机理研究及检测仪器的开发[D];武汉理工大学;2009年
中国硕士学位论文全文数据库 前10条
1 陈科;嵌入式系统中UML技术的应用研究[D];电子科技大学;2009年
2 亓向国;MicroWindows在嵌入式系统中的应用研究[D];昆明理工大学;2009年
3 徐超;基于嵌入式系统的安全网关的设计[D];武汉理工大学;2003年
4 毛碧波;多平台下嵌入式Linux的调试及驱动程序开发[D];中国科学院研究生院(软件研究所);2003年
5 刘洋;基于Linux的嵌入式操作系统实时性技术研究[D];哈尔滨理工大学;2003年
6 王建华;基于嵌入式系统的机器视觉及其在机器人控制中的应用[D];重庆大学;2004年
7 郝永君;嵌入式Linux的研究与应用[D];西安电子科技大学;2005年
8 胡其鹏;基于以太网的嵌入式控制器设计[D];浙江大学;2005年
9 王军;基于CAN总线的智能供热控制器的研究[D];河北工业大学;2005年
10 韩进;基于无线传感器网络嵌入式测控系统的应用研究[D];合肥工业大学;2005年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978