收藏本站
《上海交通大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

面向普适计算的软件动态更新

杜思奇  
【摘要】:随着移动数字设备和传感器的广泛使用,普适计算在人们的生活中起着越来越重要的作用。为了实现普适计算的随时随地提供服务能力的愿景,部署在普适计算环境下的软件系统需要利用动态更新技术来增强系统的可用性。动态更新是一种新型的软件演化技术,旨在不停机的条件下实现对软件模块的更新,以减少在系统维护期间的不可用时间和系统性能的降级。然而,普适计算环境的分散性、异构性等特征也给软件动态更新的设计与实现带来了新的挑战。 本文将探讨如何实现普适环境中的软件动态更新问题,并致力在已有的服务平台上添加非侵入式地扩展以支持软件动态更新。本文的主要工作及贡献包括: 一、针对普适计算环境的特征进行分析,给出了动态更新方案的需求目标,例如,正确性、透明性等。在研究了动态更新机制的基础上,着重分析了集中式动态更新的局限性,提出了适合普适环境的分散式动态更新模型。 二、为了精确地分析和验证更新机制的属性,使用有限状态进程(FSP)语言来为更新机制构建了形式化模型,并使用相应的模型验证工具(LTSA)对模型进行了验证。 三、将更新模型应用到具体的服务平台OSGi/R-OSGi,并设计了一种更新框架的通信架构。在此架构上,详细地描述了普适服务的更新流程,以及对实现更新的关键技术进行探讨,包括更新粒度的选择、如何获取安全的更新时机、兼顾灵活与高效的状态转移方法、如何解决服务依赖、以及更新过程中的容错机制。 四、开发了一个原型系统,并结合系统设计和实验结果对整个更新方案进行了分析和评估。结果表明了本文所提出的方法符合需求目标,将对普适计算环境下的系统维护及其软件演化提供一定的指导意义。
【学位授予单位】:上海交通大学
【学位级别】:硕士
【学位授予年份】:2011
【分类号】:TP311.52

手机知网App
【引证文献】
中国博士学位论文全文数据库 前1条
1 王艳;源码未知类软件能耗评估技术研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2012年
【参考文献】
中国期刊全文数据库 前1条
1 徐光祐 ,史元春 ,谢伟凯;普适计算[J];计算机学报;2003年09期
【共引文献】
中国期刊全文数据库 前10条
1 皇苏斌;王忠群;;景区智能空间下的实时景点推荐技术[J];安徽工程大学学报;2011年04期
2 魏东;;普适计算的应用和展望[J];辽宁科技学院学报;2006年04期
3 马彬;陈龙;;普适计算安全体系结构研究[J];重庆邮电学院学报(自然科学版);2006年S1期
4 王伟;;面向未来的计算模式——普适计算[J];成都电子机械高等专科学校学报;2005年04期
5 王艳;张娟;;普适计算的研究及探讨[J];成功(教育);2008年08期
6 刘琳;;普适计算面临的挑战[J];重庆职业技术学院学报;2007年06期
7 查智;;上下文感知:普适计算的灵魂[J];四川兵工学报;2010年04期
8 刘跃华;;现代教育技术在精品课程建设中的应用[J];当代教育论坛(综合研究);2010年05期
9 杨刚;;普适技术支持下的泛在学习交互研究[J];电化教育研究;2012年03期
10 沈展;孙道清;朱益霞;;基于上下文感知的普适计算辅助教学设计与实现[J];电脑学习;2010年01期
中国重要会议论文全文数据库 前10条
1 黄飞跃;徐光祐;张翔;;基于DirectShow的普适系统底层分布式多媒体信息处理[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
2 张翔;徐光祐;肖小玲;陶霖密;;基于觉察上下文的实时档案系统[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
3 金浩;王守芳;仲婷;魏鲲;潘金贵;;普适计算中的多通道定位研究[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
4 王守芳;金浩;魏鲲;仲婷;潘金贵;;上下文感知综述[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
5 蒋发群;李锦涛;苏晓丽;史红周;郭俊波;朱珍民;;面向虚拟桌面计算的中间件框架[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
6 姜凤敏;王汝传;陈志;;普适计算环境下一种基于移动Agent的数据处理模型[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
7 庄彦宇;王汝传;陈志;;基于不确定性推理的上下文感知数据处理模型[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
8 叶俊民;綦志勇;;基于计算元的普适计算的系统结构框架研究[A];第18届全国多媒体学术会议(NCMT2009)、第5届全国人机交互学术会议(CHCI2009)、第5届全国普适计算学术会议(PCC2009)论文集[C];2009年
9 徐凡;马勇强;陈榕;;Elastos普适环境中的计算资源发现与管理研究[A];第18届全国多媒体学术会议(NCMT2009)、第5届全国人机交互学术会议(CHCI2009)、第5届全国普适计算学术会议(PCC2009)论文集[C];2009年
10 胡时伟;周皓;沈耀;张大强;过敏意;;IPSpace:基于IPv6网络的社会化智能空间[A];第18届全国多媒体学术会议(NCMT2009)、第5届全国人机交互学术会议(CHCI2009)、第5届全国普适计算学术会议(PCC2009)论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 张宇;个性化移动内容服务的模型和支持技术研究[D];华中科技大学;2010年
2 常青;瘦型服务器及个人/家庭事务处理应用研究[D];太原理工大学;2011年
3 曾帅;普适计算环境下的信任管理研究[D];北京邮电大学;2011年
4 朱达;基于事件的服务协同及通信服务提供技术研究[D];北京邮电大学;2011年
5 刘亚辉;面向智能空间的多视角视觉系统关键技术研究[D];北京邮电大学;2011年
6 林祥涛;上下文认知计算技术研究[D];北京邮电大学;2010年
7 刘永桂;无线传感器网络协同调度和分布式信息处理[D];华南理工大学;2011年
8 王晓东;家庭智能空间服务关键技术研究[D];中国海洋大学;2011年
9 周炜;基于博弈论的普适计算信任模型的安全问题研究[D];中国海洋大学;2011年
10 黄河;楼宇室内环境无线传感器网络路由算法研究[D];重庆大学;2010年
中国硕士学位论文全文数据库 前10条
1 年军艳;普适计算下的上下文感知计算若干关键技术研究[D];安徽工程大学;2010年
2 潘拓宇;融入用户行为上下文的个性化推荐模型[D];湘潭大学;2010年
3 冯倩倩;普适计算安全技术的研究[D];河南理工大学;2010年
4 乔哲峰;自适应情景感知中间件的情景数据预处理模型研究与实现[D];华东师范大学;2011年
5 杨坤;面向物联网的语义服务总线[D];浙江大学;2011年
6 赵翠荣;基于普适计算技术的企业产品信息系统的设计与开发[D];安徽大学;2010年
7 周平;面向上下文感知计算的反射技术研究[D];西安电子科技大学;2009年
8 吴耀昇;战场环境下基于P2P的上下文搜索研究[D];西安电子科技大学;2009年
9 李倩;基于感知控制的用户界面可用性评估方法[D];西北大学;2011年
10 马甜甜;商务智能技术在智能生存空间中的应用研究[D];北京交通大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 戚隆宁;张哲;胡晨;卜爱国;;基于MSR模型的动态功耗管理策略[J];电路与系统学报;2006年05期
2 黄少珉;张哲;胡晨;戚隆宁;;基于数据缓冲区动态分组的功耗管理策略[J];电路与系统学报;2007年01期
3 戚隆宁;胡晨;张哲;卜爱国;;基于时间期望表的DPM预测策略[J];电路与系统学报;2007年02期
4 钱贾敏,王力生;基于复杂度的嵌入式软件功耗模型[J];单片机与嵌入式系统应用;2004年09期
5 叶新栋;唐志强;涂时亮;;RTOS动态分区内存管理机制的优化设计[J];单片机与嵌入式系统应用;2009年09期
6 廖海艳;范明明;;源码级和算法级的功耗测试与优化[J];单片机与嵌入式系统应用;2010年01期
7 车健;;嵌入式系统中低功耗设计[J];电子测量技术;2005年03期
8 戚隆宁;张哲;黄少珉;;多任务下I/O设备的动态功耗管理[J];中国工程科学;2008年02期
9 黄少珉;戚隆宁;杨军;胡晨;;面向任务信息的层次化存储DPM策略[J];中国工程科学;2010年02期
10 赵霞;陈向群;郭耀;杨芙清;;操作系统电源管理研究进展[J];计算机研究与发展;2008年05期
中国博士学位论文全文数据库 前1条
1 吴琦;嵌入式操作系统功耗管理技术研究[D];电子科技大学;2006年
中国硕士学位论文全文数据库 前2条
1 刘欣洋;复杂网络环境下基于模型驱动的软件进化方法研究[D];内蒙古大学;2011年
2 郑倩;基于随机模型的动态电源管理[D];哈尔滨工业大学;2010年
【相似文献】
中国期刊全文数据库 前10条
1 付世凤;;基于生物免疫原理的动态入侵检测系统的研究[J];株洲师范高等专科学校学报;2007年05期
2 王隆杰;;私有DNS更新[J];福建电脑;2008年05期
3 李苏;杨敏华;;地籍数据库动态更新机制的探讨[J];测绘科学;2008年04期
4 姚振兴;张志祥;贲可荣;陈志伟;;基于JBoss AOP的软件动态演化[J];计算机与数字工程;2008年10期
5 马亚非;;多参数实时采集存储的动态环形链表设计[J];航空兵器;2008年05期
6 王磊;;城市空间数据库动态更新生产体系关键技术研究[J];测绘通报;2010年05期
7 刘苇,赵晓宇,马严;IPv4/IPv6兼容的动态DNS注册服务器设计[J];数据通信;2005年01期
8 王海燕;;一种基于构件的可动态更新的体系结构模型[J];农业网络信息;2006年03期
9 黄刘生;李黄海;吴俊敏;鲍春健;;一种可动态更新的高可用中间件框架[J];华中科技大学学报(自然科学版);2006年10期
10 邓念东;侯恩科;霍正东;马丽;;应用SURPAC实现矿床三维可视化地质模型动态更新[J];陕西煤炭;2006年03期
中国重要会议论文全文数据库 前10条
1 李芸;王强军;张普;;信息技术领域术语自动提取和动态更新研究[A];辉煌二十年——中国中文信息学会二十周年学术会议论文集[C];2001年
2 张威;史殿习;;OSGi4HSI:普适计算环境下的异构服务集成框架[A];第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第6届全国人机交互学术会议(CHCI2010)、第5届全国普适计算学术会议(PCC2010)论文集[C];2010年
3 吴荣泉;钱立群;;无线传感器网络概述[A];普适计算及其软件新技术——第三届长三角计算机科技论坛文集[C];2006年
4 陆闻天;陶先平;吕建;;普适计算环境中隐私保护的研究与进展[A];第二届和谐人机环境联合学术会议(HHME2006)——第2届中国普适计算学术会议(PCC'06)论文集[C];2006年
5 饶翔;张瞩熹;史殿习;尹刚;丁博;王怀民;;普适计算透明通信关键技术[A];第四届和谐人机环境联合学术会议论文集[C];2008年
6 张磊;陈渝;史元春;;PerTester:一个可配置化的普适计算测试平台[A];第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第6届全国人机交互学术会议(CHCI2010)、第5届全国普适计算学术会议(PCC2010)论文集[C];2010年
7 叶剑;李锦涛;史红周;朱珍民;郭俊波;顾晓光;;面向普适计算的虚拟桌面服务系统设计[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
8 ;前言[A];普适计算及其软件新技术——第三届长三角计算机科技论坛文集[C];2006年
9 孙正兴;;环境智能—普适计算时代的计算服务模式[A];普适计算及其软件新技术——第三届长三角计算机科技论坛文集[C];2006年
10 邸锦;苗振江;杨晓晖;;基于关键词识别及主题检测的智能家庭普适计算系统[A];第十四届全国图象图形学学术会议论文集[C];2008年
中国重要报纸全文数据库 前10条
1 本报记者 刘欢;财政部暂不考虑动态更新清单[N];政府采购信息报;2011年
2 王鑫;利用OLE功能实现数据的动态更新[N];中国电脑教育报;2003年
3 本报记者 陈兰芹;建立动态更新和网络服务体系[N];中国测绘报;2000年
4 韩旭东;手机将进入普适计算时代[N];中国电子报;2004年
5 部讯;我国七百县(市)地灾隐患查明[N];中国矿业报;2008年
6 徐光祐 清华大学计算机系教授 博士生导师;无所不在的普适计算[N];中国计算机报;2003年
7 本报记者 刘霞;普适计算让你同享多台计算机[N];科技日报;2010年
8 天津市测绘院;实现动态更新 提高保障能力[N];中国测绘报;2006年
9 信息产业部软件与集成电路促进中心 邱善勤 王常青;普适计算:蓝海有多宽?[N];中国计算机报;2006年
10 郭利渝;三大试金石考量IPS[N];中国计算机报;2005年
中国博士学位论文全文数据库 前10条
1 王德俊;面向服务的分布式系统动态更新研究[D];上海交通大学;2010年
2 徐小辉;构件化软件动态更新关键技术及形式化研究[D];上海交通大学;2011年
3 王霄;基于普适计算的协同制造执行系统研究[D];大连理工大学;2010年
4 陈志雨;面向普适计算构件化中间件关键技术研究[D];吉林大学;2009年
5 韩松乔;普适计算中面向移动的软件自适应性研究[D];上海交通大学;2008年
6 廖渊;普适计算环境下一种基于QoS的服务构件组合方法[D];中国科学院研究生院(软件研究所);2005年
7 邓念东;基于OO-Solid数据模型的三维地质模型构建与动态更新方法研究[D];西安科技大学;2009年
8 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年
9 马守明;基于WSN的普适计算情景感知关键技术研究[D];南京邮电大学;2011年
10 张仕;基于面向对象软件的动态更新研究[D];上海交通大学;2008年
中国硕士学位论文全文数据库 前10条
1 杜思奇;面向普适计算的软件动态更新[D];上海交通大学;2011年
2 周文嘉;普适计算中动态更新及其形式化研究[D];上海交通大学;2011年
3 张王朋;普适服务动态更新的形式化研究[D];上海交通大学;2011年
4 杜耕;基于多版本服务切换的软件动态更新系统的设计与实现[D];北京邮电大学;2011年
5 张立达;模块化业务动态更新平台的设计与实现[D];北京邮电大学;2010年
6 周逸勋;Java程序动态更新的研究[D];复旦大学;2010年
7 吴斌;普适计算环境下轻量级中间件平台的研究和实现[D];浙江大学;2005年
8 黄冠;普适环境下基于R-OSGi的软件动态更新[D];上海交通大学;2010年
9 陶莎;普适计算环境下服务发现的研究[D];武汉理工大学;2005年
10 黄俊;支持高效动态更新的XML数据编码方法研究[D];华东师范大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026