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

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


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 孙宏伟,张树生,周竞涛,王静;基于模型驱动的XML与数据库双向映射技术[J];计算机工程与应用;2002年04期
2 高宇,冯培恩;挖掘机器人仿真模型及其驱动引擎的设计[J];计算机工程与应用;2003年12期
3 蒋凌云;王汝传;;用于网格计算的复合代码生成技术研究[J];南京邮电大学学报(自然科学版);2005年06期
4 张静;孔芳;杨季文;;一个基于组件和模型驱动的ERP软件开发框架的设计[J];微电子学与计算机;2007年07期
5 白雪;肖宝弟;王建英;;基于MDA的对象-关系数据库开发方法研究[J];铁路计算机应用;2011年02期
6 崔轶;;模型驱动开发——可能改变—切的新技术[J];程序员;2005年05期
7 李征;;“数字校园”中信息集成平台的设计[J];黑龙江科技信息;2008年10期
8 郑建华;朱蓉;;基于MDD和DSM的CNC开发(英文)[J];仲恺农业技术学院学报;2008年04期
9 姜海涛;;基于模型驱动的构件库系统的研究与设计[J];电脑知识与技术;2009年20期
10 王立福;PDSS的结构研究与设计[J];北京大学学报(自然科学版);1989年05期
11 王凌,王雄,金以慧,萧德云;流程工业CIMS体系结构的探讨[J];自动化博览;2000年S1期
12 张浩华;赵海;赵明;;大型水电仿真系统的模型驱动架构设计[J];计算机工程与应用;2009年04期
13 方勇;刘淑芬;费廷伟;;基于模型驱动的工作流MIS定制平台[J];计算机工程;2010年24期
14 王瑞奇,陈家新;电解铝厂智能计划决策支持系统[J];洛阳工学院学报;1998年03期
15 向阳;沈洪;;基于Agent的智能决策支持系统[J];计算机工程;2006年16期
16 肖明霞;;基于知识的信息系统设计[J];软件导刊;2007年05期
17 熊磊;蒋句平;;基于UML和平台的嵌入式系统设计方法研究[J];计算机工程与设计;2007年10期
18 林哲;刘建宾;;可视化面向对象程序建模系统设计[J];汕头大学学报(自然科学版);2008年01期
19 朴海光;马荣珍;;体系结构新思维——基于模型驱动的体系结构[J];科技资讯;2008年04期
20 宋晓光;万淑超;杨燕;钟华;;一种模型驱动的门户网站快速开发方法研究[J];计算机应用与软件;2009年05期
中国重要会议论文全文数据库 前10条
1 谭文安;卢忠亚;杨赟;杨付军;;基于模型驱动的企业过程协同运作技术及其环境[A];第四届中国软件工程大会论文集[C];2007年
2 何明;刘晓明;郑翔;;基于模型驱动体系结构的新一代HLA研究[A];’2004系统仿真技术及其应用学术交流会论文集[C];2004年
3 侯金奎;万建成;王帅强;;一种模型驱动的Web应用系统开发方法[A];第四届中国软件工程大会论文集[C];2007年
4 王建民;谢婷;李红梅;由芳;;模型驱动的交互式数字电视界面设计方法[A];第七届和谐人机环境联合学术会议(HHME2011)论文集【oral】[C];2011年
5 张媛媛;高琴;;模型驱动体系综述[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
6 李汉;李忠俊;;浅谈基于组件的业务建模[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
7 董淑英;王凯;;关于建模与仿真技术的应用发展的几点看法[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
8 朱汉东;刘小荷;苟晓理;;基于MDA的空军作战仿真系统开发模式研究[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
9 魏新;廖闻剑;;J2EE中的基于JWAY模型驱动的框架[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
10 杨长水;高文;王兆其;陈益强;;个性化虚拟人体模型驱动方法[A];第一届中国情感计算及智能交互学术会议论文集[C];2003年
中国博士学位论文全文数据库 前10条
1 何可;威胁模型驱动的软件安全评估与测试方法的研究[D];天津大学;2010年
2 陈文智;Pcanel——基于模型驱动的嵌入式系统设计平台[D];浙江大学;2005年
3 周红桥;基于模型驱动的制造企业应用集成方法研究[D];华中科技大学;2010年
4 车颖;计算无关模型驱动的ERP系统重构关键技术研究[D];哈尔滨工业大学;2011年
5 吴雷;现代服务业ERP系统的模型驱动开发与优化研究[D];合肥工业大学;2012年
6 莫同;服务模型驱动的体系结构与服务构件重用技术[D];哈尔滨工业大学;2009年
7 张俊;特征模型驱动的软件开发方法及相关技术研究[D];吉林大学;2010年
8 徐选华;网络环境下模型驱动的复杂大群体决策支持系统研究[D];中南大学;2005年
9 刘懿;松耦合模型驱动的流域水资源管理决策支持系统研究及应用[D];华中科技大学;2013年
10 曹晓夏;面向服务的软件需求建模与求精研究[D];上海大学;2009年
中国硕士学位论文全文数据库 前10条
1 王志斌;基于模型驱动的Web服务组合方法的研究[D];中国石油大学;2010年
2 陆少鹏;嵌入式基于模型驱动验证及软件生产线的研究与实现[D];西南交通大学;2010年
3 刘益畅;模型驱动的3G网管接口测试系统的设计与实现[D];北京邮电大学;2010年
4 王新光;基于模型驱动的实时交互式三维场景构建方法及其在水利上的应用研究[D];河海大学;2002年
5 郭富磊;AADL在模型驱动中的应用研究[D];西南交通大学;2010年
6 文春艳;基于SOA的模型驱动快速开发架构及应用研究[D];中南大学;2010年
7 李静燕;基于MDA的构件开发方法的研究[D];河海大学;2004年
8 卢忠亚;基于模型驱动的工作流运作环境的研究[D];浙江师范大学;2007年
9 刘奎;基于模式的PIM到PSM模型变换方法的研究[D];合肥工业大学;2005年
10 阳新;基于MDA的软件设计方法研究与应用[D];南京航空航天大学;2005年
中国重要报纸全文数据库 前10条
1 Wayne Meikle 李雪;模型驱动降低金融信息服务风险[N];中国计算机报;2008年
2 ;灵活访问模型驱动的服务[N];网络世界;2007年
3 易水;模型驱动的体系结构(2)[N];计算机世界;2006年
4 易水;模型驱动的体系结构(1)[N];计算机世界;2006年
5 于翔;Telelogic Rhapsody:嵌入式开发的“狂想曲”[N];网络世界;2007年
6 刘涛;Accenture投资4.5亿美元发展SOA[N];电脑商报;2006年
7 宋扬;东方集团CAPP部署攻略[N];计算机世界;2007年
8 于翔;Telelogic Rhapsody 7.2强化自动化能力[N];网络世界;2008年
9 黄琮;RAW 让BI更智能[N];通信产业报;2004年
10 ;英美烟草公司:逐步构建SOA[N];计算机世界;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978