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

面向安全关键的虚拟化与分区操作系统研究与实现

周睿  
【摘要】:当前,随着各种高性能处理器和低成本存储芯片的出现,嵌入式系统的应用越发多样化。在嵌入式系统涉及到的许多应用领域,是关系到国家经济和技术基础与发展的重要领域,对安全关键应用提出了很高的要求。因此,在这些应用中,如何构建安全的嵌入式体系,保证和提升嵌入式系统的安全性和可靠性就变得越来越重要。嵌入式系统是由计算机系统演化而来,因此在嵌入式安全关键领域中,往往借鉴和使用了通用计算机系统的技术和方案。 本论文通过虚拟化技术和分区操作系统来开展面向嵌入式安全关键领域的研究。虚拟化技术将物理资源抽象为逻辑表示,并向普通用户隐藏了不必要的细节;而分区操作系统则是对物理资源进行逻辑分配,实现在时间和空间上的隔离。这两方面的内容无论是理论基础还是技术实践都具有千丝万缕的联系:在虚拟化技术中通常采用了分区的概念来管理虚拟机实例,而在现有的分区操作系统中往往使用了虚拟化技术来保证系统的功能和性能。当前的虚拟化技术研究和应用主要面向桌面或者服务器,在嵌入式系统还处于起步阶段;而分区操作系统针对嵌入式领域具有较多的应用。因此,将两者相结合应用到嵌入式安全关键领域,既具有前沿的探索价值,又具有可行意义。本论文基于虚拟化技术和分区操作系统,通过对计算资源的抽象、分配和隔离,以保证系统关键服务的独立性、可靠性和稳定性,并参照安全关键相关的国际标准,根据安全关键的应用需求建立具体的系统模型,然后利用嵌入式硬件设备进行系统实现。 本论文的具体工作重点包括三个研发实例:基于PowerPC的嵌入式分区操作系统、基于Cell SPU的嵌入式安全关键系统和基于虚拟化的嵌入式协作学习环境和安全关键系统,一方面描述了虚拟化技术和分区操作系统在具体的嵌入式硬件平台的设计与实现,另一方面结合IEC 61508和ARINC 653两个安全关键国际标准,体现了虚拟化技术和分区操作系统在嵌入式安全关键研究和应用中的存在意义与实用价值。 本论文的内容结构安排如下:第一章绪论从计算机操作系统的角度引出相关的基本概念,提出研究的动机,并概括介绍本论文的主要工作。第二章介绍嵌入式系统及其在安全关键领域中的研究和应用现状。第三章介绍虚拟化技术和分区操作系统,讨论并分析两者的特点以及研究和应用现状,尤其是在嵌入式系统领域的应用和发展。第四章提出了本论文的主要工作,描述了三个具体的研发实例,反映了将虚拟化技术和分区操作系统相结合,参考安全关键的相关国际标准,由此构建理论基础和技术方案,应用于嵌入式硬件平台,以满足嵌入式安全关键系统的应用需求的整个过程。第五章对本论文的工作进行了总结。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 Harry McCracken;;虚拟PC离我们还有多远?[J];微电脑世界;2007年06期
2 邱航;;虚拟“聚焦”系统[J];软件世界;2007年07期
3 ;微软将免费提供Hyper-V Server[J];每周电脑报;2008年30期
4 王宇宁;;虚拟技术在桌面管理中的应用与实现[J];计算机与网络;2009年14期
5 刘晓芬;王轶凡;涂时亮;;RT-Hypervisor:用于实时嵌入式系统的虚拟机监视器[J];计算机工程与设计;2008年22期
6 ;步入Windows Server 2008之门[J];计算机与网络;2008年07期
7 虚拟化;;浅谈虚拟化工作原理[J];网络与信息;2009年12期
8 ;解开“M/N谜团”[J];信息系统工程;2006年12期
9 潘晓东;;手机虚拟化[J];程序员;2009年07期
10 马天蔚;;虚拟化是竞争焦点——谈UNIX操作系统的新进展[J];每周电脑报;2005年24期
11 卢敏;;KVM的“天赋神通”[J];软件世界;2009年05期
12 谭茂;;没有操作系统照样玩转云计算——专访VMware总裁兼CEO Paul Maritz[J];程序员;2010年04期
13 刘小锋;;虚拟化走出冬天[J];中国教育网络;2008年10期
14 张振伦;;拿什么管理虚拟化[J];中国计算机用户;2009年Z1期
15 袁斌;;虚拟化是AIX研发重点之一[J];每周电脑报;2006年21期
16 李雨川;Airflying;;英特尔:虚拟化技术成数据中心新操作系统[J];每周电脑报;2007年36期
17 盛冬冬;;虚拟化技术与云计算服务[J];软件世界;2009年12期
18 李刚;;浪潮虚拟化解决方案连载(4) 数据中心刀片服务器虚拟化应用方案解析[J];科技浪潮;2008年03期
19 孙淑园;;除了虚拟机,我们还有Virtuozzo[J];软件世界;2007年24期
20 ;VMware、Citrix和微软的虚拟化路线[J];电脑编程技巧与维护;2008年12期
中国重要会议论文全文数据库 前10条
1 张鲁飞;程华;;绿色操作系统:体系结构和应用程序的反思[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
2 王剑锋;;“虚拟”丰“云”——虚拟化和云计算技术浅析[A];中国新闻技术工作者联合会五届一次理事会暨学术年会论文集(上篇)[C];2009年
3 肖钧;黄亮;;虚拟化搭配去重,双剑合璧更给力[A];2011年CAD/CAM学术交流会议论文集[C];2011年
4 杨元利;;基于职业能力培养的物流课程虚拟化教学结构化分析[A];Proceedings of 2010 National Vocational Education of Communications and Information Technology Conference (2010 NVCIC)[C];2010年
5 刘然;蒋克检;宋之光;;中国气象局新一代卫星数据广播系统(CMACast)小站操作系统快速安装方法的设计和实现[A];2011年中国气象学会气象通信与信息技术委员会暨国家气象信息中心科技年会论文摘要[C];2011年
6 陈院庆;王红蕾;;μC/OS-Ⅱ操作系统在dsPIC30F芯片上的移植[A];2010年西南三省一市自动化与仪器仪表学术年会论文集[C];2010年
7 王跃飞;韩江洪;胡庆新;张本宏;;具有性能约束的安全关键DCS设计与仿真[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
8 龚爱斐;张文静;;基于虚拟化架构的软件开发与测试环境自动化[A];第二十三届中国(天津)2009IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2009年
9 刘孟全;;服务器虚拟化相关问题分析[A];广西计算机学会2009年年会论文集[C];2009年
10 龚爱斐;张文静;;基于虚拟化架构的软件开发与测试环境自动化[A];第二十二届中国(天津)'2008IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 周睿;面向安全关键的虚拟化与分区操作系统研究与实现[D];兰州大学;2010年
2 李婵娟;安全关键实时通信协议研究[D];兰州大学;2011年
3 张志杰;智能手机操作系统的竞争与发展研究[D];北京邮电大学;2012年
4 陈华才;虚拟化环境中计算效能优化研究[D];华中科技大学;2011年
5 桂盛霖;安全关键嵌入式实时软件的关键非功能属性分析研究[D];电子科技大学;2011年
6 吴涛;虚拟化存储技术研究[D];华中科技大学;2004年
7 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
8 奚珣;电网安全关键职种心理胜任素质模型研究[D];华东师范大学;2009年
9 王晶;强隔离操作系统的设备虚拟化[D];中国科学技术大学;2010年
10 吴庆波;基于虚拟机的可信操作系统关键技术及应用研究[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 崔倩楠;基于云计算环境的虚拟化资源平台研究与评价[D];北京邮电大学;2011年
2 韩亮;基于动态信号的安全关键逻辑设计[D];兰州大学;2012年
3 刘晓芬;RT-Hypervisor:一个用于实时嵌入式系统的虚拟机监视器的设计与实现[D];复旦大学;2008年
4 杨子夜;利用虚拟机动态迁移技术整合模拟和虚拟环境[D];复旦大学;2009年
5 张扬;XEN下基于Intel VT-d技术的I/O虚拟化的实现[D];电子科技大学;2010年
6 赵英俊;一种信息服务结点的主动防御系统模型[D];西安电子科技大学;2009年
7 伊腾飞;基于硬件虚拟化反调试的软件保护设计[D];上海交通大学;2010年
8 李守波;云环境下数学软件虚拟化关键技术的研究[D];兰州大学;2011年
9 袁国钢;农业领域测量、测试仪器虚拟化对策研究[D];重庆大学;2004年
10 王睿;虚拟化数据中心动态性能控制系统设计与实现[D];上海交通大学;2011年
中国重要报纸全文数据库 前10条
1 计世资讯 曹宇杰;虚拟化带给操作系统重大改变[N];计算机世界;2009年
2 张自力;虚拟化战争[N];网络世界;2007年
3 李瀛寰;红帽RHEL5让桌面虚拟[N];中国计算机报;2007年
4 ;操作系统的重要性将因虚拟化而降低[N];网络世界;2010年
5 本报记者 郭涛;操作系统不再重要?[N];中国计算机报;2010年
6 龙真;虚拟化的春天即将到来?[N];中国电脑教育报;2007年
7 祁金华 编译;开源与虚拟化:天生一对[N];网络世界;2007年
8 彭;移动虚拟化:小荷才露尖尖角[N];电脑商报;2008年
9 姜波;这一站,集成虚拟化[N];网络世界;2006年
10 祁金华;Xen还是KVM这是一个问题[N];网络世界;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978