收藏本站
《复旦大学》 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是节点个数。此外,还提出了一个获 取硬/软件划分所需要的硬/软件面积和其对应的执行时间的方法。
【学位授予单位】:复旦大学
【学位级别】:博士
【学位授予年份】:2003
【分类号】:TP368.1

【引证文献】
中国期刊全文数据库 前2条
1 秦晓茜;;嵌入式Linux下的thttpd web服务器的移植[J];安阳工学院学报;2011年02期
2 李勃;黄巾;王竹平;;嵌入式虚拟协同开发环境的设计与实现[J];计算机测量与控制;2011年04期
中国博士学位论文全文数据库 前5条
1 綦声波;SOPC Plus协同设计架构及在AMT中的应用研究[D];山东大学;2011年
2 王平;基于嵌入式计算机系统的数字化医疗仪器研究[D];重庆大学;2006年
3 栾静;模型驱动的系统级软硬件协同设计若干关键技术研究[D];华东师范大学;2006年
4 宋柱梅;基于模型集成运算的嵌入式装备控制系统开发方法的研究[D];华南理工大学;2007年
5 任慰;以实时操作系统为中心的嵌入式系统平台化设计研究[D];华中科技大学;2013年
中国硕士学位论文全文数据库 前10条
1 禚百田;UML在空调嵌入式系统开发中的应用研究[D];山东科技大学;2010年
2 索亮;基于DSP的多通道数据采集与处理系统的设计[D];中北大学;2011年
3 高捷;嵌入式界面设计的研究与应用[D];华东交通大学;2011年
4 陈谧谧;面向家庭的远程健康监护系统的设计与研究[D];电子科技大学;2011年
5 李阳铭;基于ARM的嵌入式网关研究[D];合肥工业大学;2006年
6 孟庆洋;基于软硬件协同理论的PDA设计与实现[D];沈阳工业大学;2007年
7 余波;嵌入式计算机在电力设备监测中的应用研究[D];重庆大学;2008年
8 萧筝;城市客车信息集成控制系统功能模块的软件组件研究[D];武汉理工大学;2009年
9 李海威;基于ARM的嵌入式QCM检测仪器的研究[D];郑州大学;2009年
10 文军;基于嵌入式计算机的电力设备紫外内窥系统的研究[D];重庆大学;2010年
【参考文献】
中国期刊全文数据库 前5条
1 程国达,彭澄廉;约束驱动与松弛时间消除相结合的硬/软件划分算法[J];计算机研究与发展;2003年06期
2 郭晓东,刘积仁,文晖;一种基于遗传算法的硬件/软件划分方法[J];计算机辅助设计与图形学学报;2001年01期
3 程国达,彭澄廉;嵌入式系统描述与验证环境的实现[J];计算机辅助设计与图形学学报;2004年01期
4 吴百锋,彭澄廉,赵立勇;并行和分布式计算机监测系统的实现原理[J];计算机学报;1998年04期
5 程国达,彭澄廉,邱卫东,孙晓光;基于SDL/MSC的实时嵌入式系统概念级设计[J];小型微型计算机系统;2003年07期
【共引文献】
中国期刊全文数据库 前10条
1 梅灿华,张潜;基于FPGA的键控移频调制解调器的设计与实现[J];安徽大学学报(自然科学版);2003年02期
2 盛庆华,刘笃仁;基于ISP芯片的数字编码波形发生器设计[J];半导体技术;2002年06期
3 魏占永,潘凤娥;基于CPLD开发的高速数据合并转换器[J];半导体技术;2002年12期
4 张斌;李开成;;基于FPGA的欧洲应答器编码实现[J];北京交通大学学报;2006年02期
5 姜茹;用可编程逻辑器件实现辅助发动机控制功能的设计[J];车辆与动力技术;2002年03期
6 方丹,崔少辉;基于ISP的信号接口设计[J];兵工自动化;2004年04期
7 宋翠翠;董永鑫;郭华帅;陈同洲;;电子时钟仿真及其FPGA实现[J];中国传媒大学学报(自然科学版);2009年01期
8 李昀,韩月秋;一种32位浮点数字信号处理器(DSPs)的外设模型设计[J];北京理工大学学报;2004年05期
9 乔继红,顾伟娟;基于CPLD的HDB3码编译码器的设计[J];北京工商大学学报(自然科学版);2005年01期
10 李云鹏,王新梅,谢显中;基于FPGA自适应高速RS编译码器的IP核设计[J];重庆邮电学院学报(自然科学版);2003年01期
中国重要会议论文全文数据库 前2条
1 韩菊;王万海;;用VHDL设计电子密码锁及问题分析[A];'2003系统仿真技术及其应用学术交流会论文集[C];2003年
2 韩菊;;应用VHDL提高RAM设计的灵活性[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 周娅;H.264解码系统设计与关键算法研究[D];华中科技大学;2011年
2 桑胜田;基于相关性的SoC软硬件划分技术研究[D];哈尔滨工业大学;2010年
3 张宏烈;面向可重构系统的资源管理与软/硬件划分研究[D];哈尔滨工程大学;2011年
4 瞿进;可重构系统软硬功能划分及任务调度技术研究[D];解放军信息工程大学;2011年
5 张鲁峰;软硬件协同综合及虚拟微处理器技术研究[D];国防科学技术大学;2002年
6 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年
7 董大圣;APON系统ONT物理层软硬件设计与关键技术的研究[D];南京理工大学;2004年
8 杨雷;激光微加工系统中若干关键技术的研究[D];郑州大学;2003年
9 覃胜;语言学习系统学生终端机的数字化研究[D];重庆大学;2004年
10 夏军;32位RISC微处理器设计研究[D];华中科技大学;2004年
中国硕士学位论文全文数据库 前10条
1 周巍;基于FPGA的QPSK数字解调技术研究[D];长春理工大学;2010年
2 曲志涌;虚拟仪器技术在新型军用电路板自动测试系统中的应用研究[D];中国海洋大学;2010年
3 闫思柱;可重构嵌入式系统软硬件划分及任务调度算法研究[D];哈尔滨理工大学;2010年
4 刁双君;基于大规模嵌入式系统软硬件划分方法的研究[D];哈尔滨理工大学;2010年
5 陈建军;基于FPGA的帧转移CCD相机系统的研究[D];昆明理工大学;2009年
6 李汉青;一种天文图像的光纤传输系统的研究[D];昆明理工大学;2010年
7 经坤;基于SOPC的视觉AGV伺服控制系统研究[D];昆明理工大学;2009年
8 刘陶刚;基于可重构平台的软硬件代码划分技术研究[D];解放军信息工程大学;2010年
9 马钊坤;模型驱动的SoC设计关键技术研究[D];解放军信息工程大学;2010年
10 解建勇;宽带大功率信号的研究与实现[D];西安电子科技大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 刘东;宋健;李磊;;AMT产品起步控制策略的研究[J];车辆与动力技术;2008年01期
2 崔新红,李东,赵双琦,刘桂礼;石英晶片的电参数模型分析与实验验证[J];北京机械工业学院学报;1999年02期
3 邢维巍,樊尚春;嵌入式图形用户界面开发平台[J];北京航空航天大学学报;2003年09期
4 李岱森,郝学军,晏家丰;面向对象技术在空调负荷计算中的应用[J];北京建筑工程学院学报;1999年02期
5 李昂;王沁;李占才;万勇;;基于FPGA的神经网络硬件实现方法[J];北京科技大学学报;2007年01期
6 刘然,陈英,赵小林;基于UML的CASE平台的代码自动生成[J];北京理工大学学报;2002年02期
7 张振远,孔维彪,管陵生,陆小健;内窥镜及其应用(1)[J];玻璃纤维;2002年04期
8 张振远,孔维彪,管陵生,陆小健;内窥镜及其应用(2)[J];玻璃纤维;2002年05期
9 汪首坤;林波涛;王军政;;自适应等精度频率测量方法与实现[J];传感技术学报;2007年02期
10 刘念;闫春斌;马文涛;李宏建;陈召军;;不同激光扫描数据组拼接的一种新方法[J];测绘科学;2008年04期
中国重要报纸全文数据库 前2条
1 广东省电信科学技术研究院多媒体部 张涛;[N];中国计算机报;2000年
2 博利思技术工程师 廖原;[N];中国计算机报;2000年
中国博士学位论文全文数据库 前10条
1 王颖锋;嵌入式系统节能调度算法研究与设计[D];西安电子科技大学;2010年
2 郭兵;嵌入式软件开放式集成开发平台体系结构研究[D];电子科技大学;2002年
3 张鲁峰;软硬件协同综合及虚拟微处理器技术研究[D];国防科学技术大学;2002年
4 汪斌;音频编解码算法及软硬件协同设计研究[D];浙江大学;2004年
5 陈晗斐;实时操作系统的若干关键问题研究[D];浙江大学;2004年
6 苏玉刚;汽车AMT的系统设计和智能控制技术研究[D];重庆大学;2004年
7 毛佳;嵌入式实时系统中关键技术的研究[D];吉林大学;2004年
8 陈文智;Pcanel——基于模型驱动的嵌入式系统设计平台[D];浙江大学;2005年
9 于学萍;高速数字信号在不完整微带线上的传输和辐射特性研究[D];北京邮电大学;2002年
10 罗怡桂;基于CDM的软硬件协同设计若干关键技术研究[D];华东师范大学;2005年
中国硕士学位论文全文数据库 前10条
1 刘涛;MDA中从CIM到PIM的模型转换研究[D];西安电子科技大学;2010年
2 常娜;基座在线测量误差分离技术的研究[D];大连海事大学;2011年
3 何英;一种嵌入式文件系统的设计与实现[D];电子科技大学;2001年
4 刘执远;嵌入式Linux集成开发环境[D];西北工业大学;2001年
5 张丙晨;基于Linux的嵌入式系统的技术及应用[D];铁道部科学研究院;2001年
6 俞露;基于ARM的嵌入式系统硬件设计[D];浙江大学;2003年
7 张婷曼;基于组件的嵌入式系统开发与应用[D];西北工业大学;2003年
8 石爱国;嵌入式组件技术的研究[D];西北工业大学;2003年
9 宗志毅;高效窄带FIR滤波器的设计与研究[D];哈尔滨工程大学;2003年
10 王长虹;阵列式硅压力加速度传感器研究[D];哈尔滨工程大学;2003年
【二级引证文献】
中国期刊全文数据库 前2条
1 彭琼林;凌云;肖伸平;;基于DSP的多通道数字化频谱分析系统的设计[J];计算技术与自动化;2013年02期
2 马钊坤;韩国栋;;基于UML的SoC层次化设计模型研究[J];计算机工程与设计;2010年24期
中国博士学位论文全文数据库 前7条
1 游颖;客车信息集成控制系统配置设计中的分解技术研究[D];武汉理工大学;2010年
2 綦声波;SOPC Plus协同设计架构及在AMT中的应用研究[D];山东大学;2011年
3 涂钰青;基于IEC61499标准的组件化模型集成数控系统形式化建模与验证的研究[D];华南理工大学;2011年
4 刘辉;嵌入式空间遥感相机控制器设计方法与实现[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
5 李方;基于模型集成的嵌入式数控系统设计关键技术研究[D];华南理工大学;2010年
6 臧佳;基于MPSoC的空间光学CCD遥感相机控制系统研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2012年
7 王洪辉;西南某中低放废物处置场监测预警关键技术研究[D];成都理工大学;2012年
中国硕士学位论文全文数据库 前10条
1 禚百田;UML在空调嵌入式系统开发中的应用研究[D];山东科技大学;2010年
2 刁双君;基于大规模嵌入式系统软硬件划分方法的研究[D];哈尔滨理工大学;2010年
3 陈国良;基于Qt/Embedded的嵌入式水泥稠化数据采集显示系统[D];大连海事大学;2011年
4 黄喆;基于单目光学精确定位的研究[D];电子科技大学;2011年
5 徐勤江;AWID/AWIS转向控制系统研究与设计[D];山东大学;2011年
6 吴湘波;手持设备上的增强现实广告技术研究[D];山东大学;2011年
7 何朝阳;基于6LoWPAN的物联网应用平台研究与实现[D];哈尔滨工业大学;2011年
8 韩素娟;基于遗传和模拟退火混合的软硬件划分方法研究[D];哈尔滨理工大学;2011年
9 陈谧谧;面向家庭的远程健康监护系统的设计与研究[D];电子科技大学;2011年
10 肖平;邵阳市政府促进地方经济发展方式转型问题研究[D];湖南大学;2010年
【二级参考文献】
中国期刊全文数据库 前2条
1 陈咏恩;System C:一种软/硬件协同设计语言[J];电路与系统学报;2001年01期
2 吴百锋,彭澄廉,赵立勇;并行和分布式计算机监测系统的实现原理[J];计算机学报;1998年04期
【相似文献】
中国期刊全文数据库 前10条
1 袁海;李宣东;郑国梁;;从UML顺序图生成状态图的一个方法[J];计算机科学;2003年06期
2 李晓丽;龙翔;包晓露;李虎;;UM L顺序图的形式化定义与特性分析[J];北京航空航天大学学报;2010年03期
3 郭江涛;芦范;;UML的用例模型在需求建模中的作用[J];黑龙江科技信息;2011年15期
4 马宗梅;;UML在网上考试系统的分析中的应用[J];福建电脑;2008年09期
5 郭峰;张萌;;UML2.0顺序图的形式化研究[J];计算机工程与设计;2009年24期
6 田志刚,朱小冬,甘茂治;基于顺序图的软件可靠性测试用例生成方法[J];计算机工程与设计;2005年10期
7 李海;;基于实时UML的雷达软件设计[J];现代雷达;2006年08期
8 王洪媛;张可;张家晨;;合成状态图中非预期状态转换路径的确认[J];计算机工程与设计;2007年06期
9 李楹;陈鲁生;;一种分析电子现金协议的工具[J];南开大学学报(自然科学版);2010年03期
10 黄陇;杨宇航;李虎;;UML顺序图中消息的形式化描述与相关特性分析[J];计算机工程与设计;2010年15期
中国重要会议论文全文数据库 前10条
1 黄正宝;张广泉;;一种基于时序逻辑的UML 2.0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 田平;李晓峰;李立应;;UML在在线科技期刊系统中的应用[A];中国系统工程学会决策科学专业委员会第六届学术年会论文集[C];2005年
3 李霁坤;张群;;UML在物资管理系统开发中的应用[A];冶金自动化信息网年会论文集[C];2004年
4 林鹃;任胜兵;蒋平;Mahammed Jalloh;;用例驱动的角色访问控制安全授权设计与研究[A];第二十六届中国控制会议论文集[C];2007年
5 张益兵;甘仞初;;应用UML的WEB信息系统的页面建模研究[A];2001年中国管理科学学术会议论文集[C];2001年
6 唐晓兵;孙国基;刘皓;;基于UML的防空系统仿真建模[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
7 尹红生;潘小强;;可执行建模方法初探[A];决策科学与评价——中国系统工程学会决策科学专业委员会第八届学术年会论文集[C];2009年
8 王洪鹏;王华忠;;基于UML的嵌入式软件功能安全和可靠性研究[A];2010中国仪器仪表学术、产业大会(论文集1)[C];2010年
9 米爱中;钟诚;鲁晓明;罗程;杨锋;;基于UML的校园网病毒报警系统的分析与设计[A];全国第16届计算机科学与技术应用(CACIS)学术会议论文集[C];2004年
10 何超英;陈军;蒋捷;韩刚;;基于言语行为的协作空间冲突处理过程建模[A];中国测绘学会2006年学术年会论文集[C];2006年
中国重要报纸全文数据库 前6条
1 北京大学信息科学与技术学院 马浩海 邵维忠 麻志毅;UML 2.0修成正果[N];计算机世界;2003年
2 赵广复;3招助你去下载[N];中国电脑教育报;2002年
3 北京大学计算机科学技术系 邵维忠 麻志毅 蒋严冰;定义UML核心[N];计算机世界;2001年
4 马越;Rhapsody引领嵌入式开发的“四化”建设[N];计算机世界;2002年
5 赵广复;从网上下载文件的三个技巧[N];江苏经济报;2003年
6 本报记者 杨贵兰;乌当区率先推出拆迁新模式[N];贵阳日报;2010年
中国博士学位论文全文数据库 前10条
1 程国达;嵌入式系统的硬/软件协同设计研究[D];复旦大学;2003年
2 王洪媛;UML行为模型之间模型转换的研究[D];吉林大学;2007年
3 张涛;复杂信息系统模型的形式化验证方法研究[D];哈尔滨工程大学;2012年
4 计春雷;全功能点方法和功能规模度量统一模型的研究与应用[D];华东理工大学;2011年
5 柳溪;软件服务业务流程设计的若干问题研究[D];南京大学;2012年
6 胡军;构件化嵌入式软件设计的分析与验证[D];南京大学;2005年
7 曾钦志;基于Multi-Agent的林产品配送中心建模与仿真[D];南京林业大学;2007年
8 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
9 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
10 马增治;汽车制造供应链系统建模及性能分析[D];吉林大学;2008年
中国硕士学位论文全文数据库 前10条
1 吴宏;基于LSC的模型检验研究与实现[D];国防科学技术大学;2004年
2 杨林;基于UML的实时系统建模及顺序图时间约束研究[D];湖南大学;2007年
3 陈卉;UML顺序图和状态图的形式化方法研究[D];南京师范大学;2008年
4 陈磊;用例图到顺序图转换的研究[D];西安电子科技大学;2009年
5 王璐珍;UML顺序图的自动分析技术研究[D];中国人民解放军国防科学技术大学;2002年
6 阮彦锐;UML顺序图的形式化描述方法研究[D];兰州理工大学;2011年
7 童格明;UML顺序图的形式化[D];兰州理工大学;2011年
8 周长红;UML图的Petri网建模[D];山东科技大学;2004年
9 王琪;基于UML顺序图的自动测试软件研发[D];西安电子科技大学;2014年
10 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026