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

来源 :浙江大学 | 被引量 : 0次 | 上传用户:isgongping
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着嵌入式系统日趋复杂,功能日益增强,对嵌入式操作系统技术和嵌入式软件开发技术提出了新的挑战。这主要包括:支持软件快速开发和升级、支持嵌入式软件的高度可配置性、轻便的移动应用和多媒体的信息处理。为了控制功能的复杂性、满足非功能属性需求、减少开发难度、保障软件质量和缩短开发周期,必须研究开发新一代的嵌入式系统开发技术。 软件开发技术从最早期的“纯代码”方式到“代码可视化”方式,再到“代码—模型双向交互”方式,直至“以模型为中心”的方式演变。这些演变和进步确实给嵌入式系统软件开发带来了巨大的好处。典型的有Model-Integrated Computing和MetaH等包含建模过程的构件模型和运行环境,这一类架构主张在开发过程的各个阶段都使用面向模型的构件化开发,模型里包含了嵌入式软件乃至中间件,以及应用的需求一并显式表达。此外还有用于研究领域的建模工具如Ptolemy Ⅱ等,为嵌入式软件及其要嵌入的系统提供构建平台环境,用户可以使用它所支持的计算模型。但是由于现存的设计方法典型的假定了通用的运行环境而都忽略嵌入式软件对运行环境的苛刻的非功能上的需求,比如很有限的CPU能力,内存,以及应用领域的硬实时约束等。使得这些方法应用于嵌入式软件存在许多障碍。 本文介绍的Pcanel系统,将嵌入式系统设计的着眼点从功能定义、模块裁减和硬件管理向模型驱动的构件化软件工程转变。本文有几个创新点:第一,指出在构造嵌入式系统过程中必须注意功能性属性和非功能性属性的构件,对嵌入式系统的运行环境的建模应和软件模型集成在一起,通过有组织的抽象模型,分层解构不同属性的问题。第二,提出基于模型驱动的构件化嵌入式系统设计方法,以模型贯穿于系统各个方面的设计过程中。第三,设计了一套元模型的抽象语义。这套元模型能够定义不同意义的模型中的构件以及组织结构,并支持不同模型的分级组合,解决多模型设计的交互和集成问题。第四,介绍了一个用于汽车电子装置的电子节气门自动控制系统,对基于模型驱动的设计理论在实践中可能遇到的问题进行初步探讨。实验证明,基于模型驱动的构件化嵌入式系统设计方法能浙江大学99秋博士论文Pcanel—基于模型驱动的嵌人式系统设计平台够满足嵌入式系统的本质特点和需求:精确表达时间约束,有效处理并发事件,系统可分析可验证,支持鲁棒的应激性,适应异构计算特性,规范结构支持动态。 全文内容是这样安排的:第一章是绪论。介绍嵌入式系统如本质,它与物理世界的交互特点,以及现代嵌入式系统开发技术面临的挑战。第二章是相关技术介绍。包括构件、子过程、对象、软件服务、软件框架、模型驱动体系相关概念和技术等。第三章介绍相关技术的研究状况。包括嵌入式操作系统技术、嵌入式构件模型,构件化嵌入式操作系统技术,模型驱动及框架技术等。第四章是Pc幼el系统的提出。简单介绍它的背景需求,设计目标以及设计思路。第五章是Pcanel系统的设计过程。包括构件的设计和实现,构件的连接及分级组合,模型驱动的方式等。第六章是案例研究。通过嵌入式系统的典型应用领域,即汽车电子领域中的电子节气门自动控制系统的设计,来分析讨论模型驱动设计方法的可行性及其学术价值。第七章是总结和展望。先归纳总结论文的有价值观点,然后提出进一步的研究方向。关键词:嵌入式系统构件化模型驱动[email protected] 1 2 of 1232005一l一18
其他文献
目的分析囊膜上超声乳化白内障吸除人工晶状体植入对高度近视并发白内障的效果。方法选择我院眼科诊治的34例(39眼)高度近视并发白内障患者,采用超声乳化白内障吸除术联合人
党的十八以来,随着新时代党的建设的总体要求,全党推进全面从严治党的步伐,纪检监察工作在加强和规范党内政治纪律,维护党中央权威,强化党内监督的作用日渐突现出来.事业单位
利用1°×1°NCEP再分析资料和FY-2E卫星云冈资料对前汛期防城港一次弱环境风场条件下产生暴雨的环流形势和物理量进行诊断分析,结果表明:(1)地面弱冷锋南下为对流提
水在石隙之间,静静地流淌,听得汩汩之声,知其将要流到更深之处。当美也如此沉静,如川端先生的《古都》,便也能洗去尘世的浮华,让人于纷杂中偶获片刻的宁静。川端先生生于京都
在我国计算机技术飞速发展的背景下,虚拟仿真技术在服装工艺的教学上也逐渐从雏形转变成一种全新的教学模式.作为一种能与实物和计算机结合,模拟出服装工艺教学实践环境的工
随着我国商业银行对房地产行业的贷款数量不断增大,随之而来的是商业银行房地产不良贷款额也"节节升高",究其原因,除了银行本身管理体制原因之外,在房地产开发企业向商业银行申
近年来,在我国社会经济事业蓬勃发展的同时,也出现了一些新问题,如物质增量利益的不均衡、不协调增长等,因此,为更好地改善这一现状,就必须要进一步完善经济法,优化物资利益
本文首先介绍了家政服务业与电子商务的发展与需求情况,接着阐述了家政服务业与电子商务的成功结合,得出了家政服务业实施电子商务是必要的、可行的,最后设计了发展家政服务
[摘要] 商场现代化在转制过程中,往往要面临商场内部职工个人持股,本文着重探讨内部职工个人持股的利弊、做法,以及适用范围。  [關键词] 内部职工 个人持股 垄断腐败    商场现代化就硬件方面来讲,包括场地、设施、物流、商品等的现代化;就软件方面来讲,包括对外的如商品陈列,商品区划、商品促销、定价策略、营销组合、进货策略、商场公关……对内的如组织建设、用人策略、廉洁高效……而“商场内部职工个人持