基于虚拟化技术的无人机系统可扩展可信软件架构

发布时间：2020-10-24 08:16

　　 随着无人机在军事领域及民用领域中的广泛应用,其面临的安全问题也日益受到研究人员的重视。经过形式化验证的操作系统内核虽然能够保证无人机系统的安全性,但是其缺乏扩展性,无法提供一个丰富的软件开发环境用以开发第三方应用。如何在保证操作系统内核正确性的同时,提高整个无人机系统的扩展性是一个值得深入研究的问题。本论文提出了一种层级式的软件架构,这种架构在保证无人机安全性的同时,利用虚拟化技术来提高整个系统的扩展性。该软件架构主要包括三个部分:系统内核、用户空间以及虚拟机。在系统内核部分采用了可信操作系统内核CertiKOSARM,在用户空间部分运行了多个实时用户进程用于飞行姿态控制,虚拟机部分负责驱动Linux系统内核来运行第三方应用。论文为经过形式化验证的操作系统内核CertiKOS-ARM添加了内核中断功能以及多核并发处理功能。内核中断功能有效降低了时钟中断延迟,而多核并发处理功能则保证了核心之间的安全隔离。为实现创建与管理虚拟机,论文设计了一个轻量化的虚拟机管理软件Hypervisor,称为CertiKOS-ARM Hypervisor。CertiKOS-ARM Hypervisor采用了新型的mixed-type架构,能够利用硬件辅助的方式减少虚拟化技术带来的额外花销。CertiKOS-ARM Hypervisor具有轻量化与层级式的特点。轻量化设计使得其代码行数比其他商业化的Hypervisor少一个量级,有效减少了系统的可信计算基。层级式设计使得其代码被划分成多个软件层,这种软件层的划分方式能够适用于ARM与x86两种平台。论文实验部分包括Hypervisor的性能测试实验与无人机飞行测试实验。论文利用了微型测试工具集LMbench对CertiKOS-ARM Hyperviosr进行了性能测试,实验结果表明CertiKOS-ARM Hpervisor创建的虚拟机性能与实际机器性能相当。无人机飞行测试实验则表明了这种软件架构具有较强的扩展性。论文提出的这种软件架构除了能够应用到无人飞行器上,还能够推广到其它智能系统中。
【学位单位】：哈尔滨工业大学
【学位级别】：硕士
【学位年份】：2019
【中图分类】：V279;TP311.52
【部分图文】：

图 地面站飞行姿态显示发的无人机地面站系统工作示意图如图 所示。飞行人机的飞行数据后，储存在内存中，并通过共享内存的的串口中。虚拟机能够直接访问软件模拟的串口，可以。同时，在虚拟机中创建一个 的无人机节点，用于面站的计算机中运行 操作系统，并基于 建无人机姿态的三维显示；随后利用 下的无线网络通递飞行数据，在地面站上用 工具实时绘制无人机的的飞行状态见图 ，其对应的地面站的实时姿态见图 无人机系统在虚拟机中运行 时的飞行姿态数据，与地面站进行通讯。图中红色实线表示实际的无人机的
【相似文献】

相关期刊论文 前10条

1 徐宏庆;;无人机应用技术专业建设的探索[J];正德职业技术学院学报;2018年02期

2 张斌;林斌;杨彦彰;李名兆;林奕翔;;国内民用无人机系统标准体系构建现状[J];中国标准化;2019年S1期

3 王湛;王江东;杨宏伟;;民用轻小型无人机系统检测认证研究[J];质量与认证;2019年12期

4 潘泉;康童娜;吕洋;赵春晖;胡劲文;;无人机感知规避技术发展与挑战[J];无人系统技术;2018年04期

5 杜恒;;基于足球比赛路径规划的农用无人机定位和导航研究[J];农机化研究;2019年10期

6 问延安;蒋倩;;智慧监管:民用无人机企业监管的路径选择[J];长沙航空职业技术学院学报;2018年04期

7 张军国;闫浩;胡春鹤;李婷婷;于明;;无人机在林业中的应用及前景展望[J];林业工程学报;2019年01期

8 刘逸宸;;无人机系统信息传输技术分析[J];科技资讯;2018年32期

9 金伟;周震博;;2018年无人机研发热点回眸[J];科技导报;2019年01期

10 杨春;;智能科技 智慧未来 溧阳国际无人机发展论坛暨第四届无人机百人会圆满落幕[J];中国公共安全;2019年Z1期

相关博士学位论文 前10条

1 刘明辉;无人机高速数据链关键技术研究[D];西安电子科技大学;2019年

2 曹伟;LTE外辐射源雷达多旋翼无人机探测技术研究[D];国防科技大学;2018年

3 孔维玮;基于多传感器的无人机自主着舰引导与控制系统研究[D];国防科技大学;2017年

4 马兆伟;基于学习的无人机感知与规避关键技术研究[D];国防科技大学;2018年

5 赵述龙;数据驱动的无人机曲线路径跟踪控制方法研究[D];国防科技大学;2017年

6 宋春林;四旋翼无人机在未知环境中自主导航和飞行控制方法研究[D];哈尔滨工业大学;2019年

7 张坤;不确定条件下无人机三维航迹跟踪控制研究[D];西北工业大学;2018年

8 唐必伟;粒子群算法的改进及其在无人机任务规划中的应用[D];西北工业大学;2017年

9 姬翔;多特征融合的旋翼无人机能耗优化路径规划方法研究[D];西北大学;2019年

10 王小亮;面向对地观测的无人机路径规划与编队控制方法研究[D];武汉大学;2017年

相关硕士学位论文 前10条

1 王明君;多无人机协同机场驱鸟系统的任务分配与路径规划[D];南京航空航天大学;2019年

2 周遂之;4G网络无人机控制的设计与实现[D];重庆邮电大学;2019年

3 杜国栋;基于Leader-follower理论的四旋翼无人机编队控制方法研究[D];重庆邮电大学;2019年

4 李卓文;无人机地面站管控系统的研究与开发[D];重庆邮电大学;2019年

5 胡续俊;基于GPU的无人机中继系统传播环境建模及仿真研究[D];南京航空航天大学;2018年

6 丁亚;基于系统工程方法的无人机族系统总体设计[D];南京航空航天大学;2019年

7 黄精琦;某小型海用无人飞行器发射与回收技术研究[D];南京航空航天大学;2019年

8 聂禾玮;飞翼无人机机动控制技术研究[D];南京航空航天大学;2019年

9 沈佳明;基于快速原型的无人机仿真系统设计与开发[D];南京航空航天大学;2019年

10 翟丽相;基于反演控制的无人机容错控制方法研究[D];南京航空航天大学;2019年

本文编号：2854227