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

Pcanel——基于模型驱动的嵌入式系统设计平台

陈文智  
【摘要】:随着嵌入式系统日趋复杂,功能日益增强,对嵌入式操作系统技术和嵌入式软件开发技术提出了新的挑战。这主要包括:支持软件快速开发和升级、支持嵌入式软件的高度可配置性、轻便的移动应用和多媒体的信息处理。为了控制功能的复杂性、满足非功能属性需求、减少开发难度、保障软件质量和缩短开发周期,必须研究开发新一代的嵌入式系统开发技术。 软件开发技术从最早期的“纯代码”方式到“代码可视化”方式,再到“代码—模型双向交互”方式,直至“以模型为中心”的方式演变。这些演变和进步确实给嵌入式系统软件开发带来了巨大的好处。典型的有Model-Integrated Computing和MetaH等包含建模过程的构件模型和运行环境,这一类架构主张在开发过程的各个阶段都使用面向模型的构件化开发,模型里包含了嵌入式软件乃至中间件,以及应用的需求一并显式表达。此外还有用于研究领域的建模工具如Ptolemy Ⅱ等,为嵌入式软件及其要嵌入的系统提供构建平台环境,用户可以使用它所支持的计算模型。但是由于现存的设计方法典型的假定了通用的运行环境而都忽略嵌入式软件对运行环境的苛刻的非功能上的需求,比如很有限的CPU能力,内存,以及应用领域的硬实时约束等。使得这些方法应用于嵌入式软件存在许多障碍。 本文介绍的Pcanel系统,将嵌入式系统设计的着眼点从功能定义、模块裁减和硬件管理向模型驱动的构件化软件工程转变。本文有几个创新点:第一,指出在构造嵌入式系统过程中必须注意功能性属性和非功能性属性的构件,对嵌入式系统的运行环境的建模应和软件模型集成在一起,通过有组织的抽象模型,分层解构不同属性的问题。第二,提出基于模型驱动的构件化嵌入式系统设计方法,以模型贯穿于系统各个方面的设计过程中。第三,设计了一套元模型的抽象语义。这套元模型能够定义不同意义的模型中的构件以及组织结构,并支持不同模型的分级组合,解决多模型设计的交互和集成问题。第四,介绍了一个用于汽车电子装置的电子节气门自动控制系统,对基于模型驱动的设计理论在实践中可能遇到的问题进行初步探讨。实验证明,基于模型驱动的构件化嵌入式系统设计方法能 浙江大学99秋博士论文 Pcanel—基于模型驱动的嵌人式系统设计平台 够满足嵌入式系统的本质特点和需求:精确表达时间约束,有效处理并发事件, 系统可分析可验证,支持鲁棒的应激性,适应异构计算特性,规范结构支持动态。 全文内容是这样安排的:第一章是绪论。介绍嵌入式系统如本质,它与物理 世界的交互特点,以及现代嵌入式系统开发技术面临的挑战。第二章是相关技术 介绍。包括构件、子过程、对象、软件服务、软件框架、模型驱动体系相关概念 和技术等。第三章介绍相关技术的研究状况。包括嵌入式操作系统技术、嵌入式 构件模型,构件化嵌入式操作系统技术,模型驱动及框架技术等。第四章是Pc幼el 系统的提出。简单介绍它的背景需求,设计目标以及设计思路。第五章是Pcanel 系统的设计过程。包括构件的设计和实现,构件的连接及分级组合,模型驱动的 方式等。第六章是案例研究。通过嵌入式系统的典型应用领域,即汽车电子领域 中的电子节气门自动控制系统的设计,来分析讨论模型驱动设计方法的可行性及 其学术价值。第七章是总结和展望。先归纳总结论文的有价值观点,然后提出进 一步的研究方向。 关键词:嵌入式系统构件化模型驱动 wzehen@ead.zju.edu.en Page 1 2 of 123 2005一l一18
【学位授予单位】:浙江大学
【学位级别】:博士
【学位授予年份】:2005
【分类号】:TP368.1

【引证文献】
中国期刊全文数据库 前3条
1 包铁;刘淑芬;戚志涵;;可执行元模型方法的研究与应用[J];吉林大学学报(理学版);2009年01期
2 段利君;严祯荣;;嵌入式机电设备电控系统的抗干扰技术[J];价值工程;2011年22期
3 刘丹;;嵌入式系统开发方法综述[J];仪器仪表标准化与计量;2008年04期
中国博士学位论文全文数据库 前4条
1 王彬;基于实时语义模型的模型转换及语义一致性研究[D];昆明理工大学;2011年
2 兰庆国;可执行元模型关键技术研究[D];吉林大学;2006年
3 王平;基于嵌入式计算机系统的数字化医疗仪器研究[D];重庆大学;2006年
4 宋柱梅;基于模型集成运算的嵌入式装备控制系统开发方法的研究[D];华南理工大学;2007年
中国硕士学位论文全文数据库 前3条
1 余波;嵌入式计算机在电力设备监测中的应用研究[D];重庆大学;2008年
2 文军;基于嵌入式计算机的电力设备紫外内窥系统的研究[D];重庆大学;2010年
3 毕丽翠;Web应用程序快速开发平台的设计与实现[D];电子科技大学;2012年
【参考文献】
中国期刊全文数据库 前3条
1 陈文智,王总辉;嵌入式实时系统RTLINUX的实现和测试[J];计算机工程与应用;2001年19期
2 陈文智;基于Linux的在线更新服务系统[J];计算机应用研究;2001年03期
3 陈文智;嵌入式窗口系统ETOP的设计与实现[J];计算机工程与设计;2001年06期
【共引文献】
中国期刊全文数据库 前10条
1 王江波;杨仁刚;;基于GPRS的配变监控终端远程更新和管理维护的研究[J];电测与仪表;2009年11期
2 谭卫娟;;嵌入式实时操作系统RTLinux的移植与开发[J];大众科技;2010年12期
3 何伦;胡士强;;面向民机综合环境监视的实时Linux设计与测试[J];测控技术;2012年04期
4 蒋逸明;张申生;孙元浩;;基于EFI的图形用户界面的设计与研究[J];计算机工程;2007年14期
5 郭丽娜;张承瑞;胡天亮;;嵌入式实时Linux系统在DOC上的构建[J];计算机工程与科学;2006年12期
6 吉华,李彦,王强,朱达宇;基于RTLinux的开放式软件PLC的研究[J];计算机应用研究;2005年05期
7 刘建群;王飞;刘绿山;罗继合;;基于RTLinux的切绘机数控系统开发[J];机械设计与制造;2007年09期
8 王海波;张申生;孙元浩;;EFI/TIANO下的图形界面新方案NUWA[J];计算机应用与软件;2008年06期
9 黄玉波;;基于HTTP服务的软件在线更新[J];软件导刊;2008年12期
10 高海彬;王清阳;裴海龙;;基于RTLinux的数控系统调度抖动的研究与补偿[J];计算机工程与设计;2009年12期
中国硕士学位论文全文数据库 前10条
1 苟剑;基于Linux的工业控制计算机测控系统的运用与研究[D];重庆大学;2002年
2 仇浩健;操作系统图形用户界面的研究与实现[D];南京航空航天大学;2003年
3 刘万里;实时嵌入式LINUX设计与实现[D];西南交通大学;2003年
4 张鸿宇;基于嵌入式与现场总线陶瓷窑控制系统的研究[D];武汉理工大学;2003年
5 郑文兵;实时嵌入时Linux的设计与实现[D];西南交通大学;2004年
6 刘淑英;基于RTLinux的分布式实时进程通信技术的研究与实现[D];华中科技大学;2004年
7 赵国军;面向电信应用的嵌入式Linux研究[D];浙江大学;2005年
8 程龙兴;基于J2ME平台的无纸记录仪人机界面的开发[D];浙江大学;2004年
9 杨丽莎;基于RTLinux平台的微型UAV姿态解算技术研究[D];浙江大学;2005年
10 刘德岩;基于Linux的嵌入式实时系统ERLinux[D];大连理工大学;2005年
【同被引文献】
中国期刊全文数据库 前10条
1 张振远,孔维彪,管陵生,陆小健;内窥镜及其应用(1)[J];玻璃纤维;2002年04期
2 张振远,孔维彪,管陵生,陆小健;内窥镜及其应用(2)[J];玻璃纤维;2002年05期
3 汲锡林;罗自强;王建新;;复杂电子系统Markov模型及云可靠性评估[J];吉林大学学报(信息科学版);2008年02期
4 杨宏宇;高亮;宋敏;;民航信息安全通报平台CA Manager模型[J];吉林大学学报(信息科学版);2008年03期
5 邴仲辉;USB摄像头嵌入式应用的软硬件设计[J];电测与仪表;2005年09期
6 张海峰;庞其昌;陈秀春;;高压电晕放电特征及其检测[J];电测与仪表;2006年02期
7 文军;何为;谯小艳;李罗;胡泽文;;基于嵌入式系统的输电线舞动在线监测系统[J];电工电能新技术;2010年01期
8 汪金刚;何为;李青文;杨帆;杨永明;陈涛;;基于紫外脉冲检测的非接触式特高压验电仪[J];电工技术学报;2008年05期
9 王磊;李建胜;何峰;;输电线路舞动跳闸事故分析[J];电气应用;2007年04期
10 隋晓杰;宋守信;;高压输电线路电晕放电分析[J];电力建设;2006年03期
中国博士学位论文全文数据库 前6条
1 郭兵;嵌入式软件开放式集成开发平台体系结构研究[D];电子科技大学;2002年
2 程国达;嵌入式系统的硬/软件协同设计研究[D];复旦大学;2003年
3 于学萍;高速数字信号在不完整微带线上的传输和辐射特性研究[D];北京邮电大学;2002年
4 古幼鹏;嵌入式实时软件的构件化开发技术研究[D];电子科技大学;2005年
5 高军礼;基于模型驱动开发方法的开放式结构计算机数控系统的研究[D];华南理工大学;2005年
6 高志刚;基于模型的汽车电子软件综合方法研究[D];浙江大学;2008年
中国硕士学位论文全文数据库 前10条
1 蒋理;基于MDA的Web应用系统开发框架的设计与实现[D];西安电子科技大学;2010年
2 杨贤哲;模型驱动架构在J2EE平台上的应用研究[D];武汉大学;2004年
3 戴志诚;工业控制中嵌入式系统软件的设计与实现[D];华中科技大学;2004年
4 秦祖立;基于实时对象建模的嵌入式软件开发研究[D];浙江大学;2005年
5 刘红萍;基于领域通用框架的扩展模型驱动开发模式[D];大连理工大学;2005年
6 吴海生;元建模在模型驱动架构中的应用研究[D];华东师范大学;2005年
7 黄哲;高功率脉冲电源的嵌入式控制系统体系结构初步设计[D];南京理工大学;2006年
8 吴英炳;快速开发平台数据建模的研究[D];天津大学;2006年
9 沈慧勇;基于语义一致性的模型转换方法及应用[D];山东大学;2007年
10 张孝桂;基于嵌入式Linux的工业内窥系统的研究[D];重庆大学;2007年
【二级引证文献】
中国期刊全文数据库 前7条
1 蔡健;范红春;夏开建;;基于手机药品处方集软件设计研究[J];电脑知识与技术;2011年05期
2 姚锡忠;;嵌入式系统及其发展趋势的分析与研究[J];科技信息;2009年31期
3 陈德胜;王彬;薛洁;余礼;;嵌入式控制系统图形化元模型构建方法[J];计算机应用;2012年11期
4 田立;曾光裕;于磊;朱冰;;支持CMMI的软件过程元模型的研究与实现[J];计算机工程与设计;2010年18期
5 黄毅杰;;可执行UML建模技术研究[J];中国新技术新产品;2011年05期
6 黄毅杰;;可执行UML建模技术研究[J];中国新技术新产品;2011年08期
7 黄海军;;除尘间控制系统的设计与实现[J];信息与电脑(理论版);2010年09期
中国博士学位论文全文数据库 前4条
1 涂钰青;基于IEC61499标准的组件化模型集成数控系统形式化建模与验证的研究[D];华南理工大学;2011年
2 王学斌;软件工程中基于模型驱动架构的模型转换技术研究[D];国防科学技术大学;2006年
3 李方;基于模型集成的嵌入式数控系统设计关键技术研究[D];华南理工大学;2010年
4 王洪辉;西南某中低放废物处置场监测预警关键技术研究[D];成都理工大学;2012年
中国硕士学位论文全文数据库 前10条
1 田立;软件过程建模及驱动技术研究[D];解放军信息工程大学;2010年
2 曹贺;基于消息模型的统一(外围)接口平台的设计与实现[D];吉林大学;2011年
3 陈国良;基于Qt/Embedded的嵌入式水泥稠化数据采集显示系统[D];大连海事大学;2011年
4 姚锡忠;高速红外通信技术在电子名片机中的应用研究[D];南京理工大学;2010年
5 黄喆;基于单目光学精确定位的研究[D];电子科技大学;2011年
6 吴湘波;手持设备上的增强现实广告技术研究[D];山东大学;2011年
7 吴琼飞;基于ADL的ASIP系统级综合方法研究[D];武汉纺织大学;2011年
8 何朝阳;基于6LoWPAN的物联网应用平台研究与实现[D];哈尔滨工业大学;2011年
9 张小可;武器装备体系需求元建模方法研究[D];国防科学技术大学;2011年
10 赵幸亚;基于MDA的统一界面模型建模方法的研究与应用[D];哈尔滨工程大学;2011年
【相似文献】
中国期刊全文数据库 前10条
1 黄磊;;嵌入式系统的平台化开发[J];国外电子测量技术;2006年07期
2 冯安;;嵌入式计算机系统技术述评[J];洪都科技;2007年02期
3 张亚英;;人才培养与科学研究齐头并进 同济大学“微软–同济Windows移动及嵌入式技术中心”[J];计算机教育;2007年01期
4 李郁松,郭裕顺;嵌入式实时系统及其开发[J];杭州电子工业学院学报;2003年01期
5 Warren Webb;;异军突起:Linux抢占嵌入式设备市场[J];电子设计技术;2003年04期
6 郑文波;段明祥;;工业控制与嵌入式系统[J];工业控制计算机;2005年11期
7 戴振华;;嵌入式Linux平台应用研究[J];湖南科技学院学报;2006年11期
8 欧青立;曾照福;徐光远;沈洪远;;嵌入式系统的架构与发展[J];实验室研究与探索;2007年04期
9 续蕾;;基于嵌入式系统平台下EOS的应用与分析[J];电脑学习;2008年05期
10 姚锡忠;;嵌入式操作系统的现状及发展趋势[J];中国新技术新产品;2009年23期
中国重要会议论文全文数据库 前10条
1 虞小伟;尔宾;吴强;曹小秋;;嵌入式系统中音频播放器的设计与实现[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
2 彭锦;吴丰顺;严蓉;;嵌入式系统在焊接领域的应用及展望[A];2009年促进中部崛起专家论坛暨第五届湖北科技论坛——装备制造产业发展论坛论文集(下)[C];2009年
3 郭小刚;王利明;;基于嵌入式操作系统的无线数据采集平台的设计[A];中国航空学会信号与信息处理专业全国第八届学术会议论文集[C];2004年
4 刘鸿伟;杨蕴;;嵌入式Linux系统在电子不停车收费技术中的应用[A];2008第四届中国智能交通年会论文集[C];2008年
5 杨琳;吴勋森;;用于多通道调制解调的嵌入式系统[A];全国第一届嵌入式技术联合学术会议论文集[C];2006年
6 陈福;周树杰;林小竹;杨跃翔;;应用嵌入式系统进行数据采集的研究[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
7 黄品文;郑丽敏;;嵌入式电子鼻系统的研究现状与发展趋势[A];2007年中国农业工程学会学术年会论文摘要集[C];2007年
8 李光先;陆阳;;应用UC/OS-Ⅱ设计嵌入式实时多任务软件[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
9 梁磊;洪永强;;基于网络技术的嵌入式系统[A];福建省科协第四届学术年会提升福建制造业竞争力的战略思考专题学术年会论文集[C];2004年
10 姚玉坤;乔彬;;嵌入式操作系统内存管理机制研究与改进[A];2009中国仪器仪表与测控技术大会论文集[C];2009年
中国重要报纸全文数据库 前10条
1 罗清岳;嵌入式操作系统探讨[N];电子资讯时报;2005年
2 杨雨;“嵌”载奇遇[N];计算机世界;2006年
3 艾文;国产嵌入式系统重视二次开发[N];中国计算机报;2001年
4 记者 王晓涛;物联网勿求中心和终端两全其美[N];中国经济导报;2010年
5 ;微软嵌入式系统开发中心正式成立[N];人民邮电;2008年
6 北京亚太博大软件有限公司 首席系统架构师 柳翔;无处不在的幽灵[N];计算机世界;2005年
7 ;软件行业嵌入式系统分会成立[N];中国高新技术产业导报;2004年
8 龚炳铮;嵌入式系统大有作为[N];中国石油报;2003年
9 赛迪顾问软件产业研究中心;SOA期待落地 嵌入式系统成热点[N];中国计算机报;2007年
10 朱挺;中国嵌入式系统产业联盟成立[N];中国高新技术产业导报;2008年
中国博士学位论文全文数据库 前10条
1 陈文智;Pcanel——基于模型驱动的嵌入式系统设计平台[D];浙江大学;2005年
2 何可;威胁模型驱动的软件安全评估与测试方法的研究[D];天津大学;2010年
3 周红桥;基于模型驱动的制造企业应用集成方法研究[D];华中科技大学;2010年
4 车颖;计算无关模型驱动的ERP系统重构关键技术研究[D];哈尔滨工业大学;2011年
5 赵国冬;嵌入式系统弹性应对方法研究[D];哈尔滨工程大学;2011年
6 胡威;基于ScratchPad Memory的嵌入式系统优化研究[D];浙江大学;2008年
7 莫同;服务模型驱动的体系结构与服务构件重用技术[D];哈尔滨工业大学;2009年
8 张俊;特征模型驱动的软件开发方法及相关技术研究[D];吉林大学;2010年
9 徐选华;网络环境下模型驱动的复杂大群体决策支持系统研究[D];中南大学;2005年
10 程国达;嵌入式系统的硬/软件协同设计研究[D];复旦大学;2003年
中国硕士学位论文全文数据库 前10条
1 王志斌;基于模型驱动的Web服务组合方法的研究[D];中国石油大学;2010年
2 陆少鹏;嵌入式基于模型驱动验证及软件生产线的研究与实现[D];西南交通大学;2010年
3 刘益畅;模型驱动的3G网管接口测试系统的设计与实现[D];北京邮电大学;2010年
4 王新光;基于模型驱动的实时交互式三维场景构建方法及其在水利上的应用研究[D];河海大学;2002年
5 张昭瑜;嵌入式操作系统在机电一体化设备控制过程中的应用[D];四川大学;2005年
6 张辉;基于国产CPU的嵌入式教学系统的研究与设计[D];哈尔滨工程大学;2006年
7 彭涛;嵌入式操作系统移植技术研究[D];华中科技大学;2006年
8 卫星;汽车车身CAN总线控制系统应用与研究[D];合肥工业大学;2005年
9 王鸿翔;基于P89C669FA室内导频发射机嵌入式软件的研究与实现[D];西安电子科技大学;2008年
10 郭富磊;AADL在模型驱动中的应用研究[D];西南交通大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026