基于QEMU的虚拟飞控计算机行为分析方法研究

发布时间：2024-05-12 06:59

　　飞行控制系统作为飞机的控制核心负责保证飞机的稳定性和操纵性,对飞行器的平稳安全飞行起着重要作用。当前飞行控制系统面临的主要问题是响应时间和硬件资源消耗受限、内存访问错误、缓冲区溢出等造成的安全隐患。如何快速地发现飞行控制系统中存在的问题提高系统可靠性、安全性是当前飞行器领域的研究热点。行为分析技术是提高计算机安全的有效技术。在计算机中行为分析技术可以有效收集程序运行过程信息,辅助程序优化、检测软件缺陷并进行修复、分析恶意代码、验证内存,提高系统安全性与可靠性。虚拟机监视器由于具有强隔离性、高透明性等特点,成为研究系统行为和程序行为的热点。因此本文选择QEMU作为虚拟监视器在其上模拟飞控计算机并使用虚拟机监视器实现对飞控计算机的全系统行为分析。本文采用动态行为分析方法,通过全系统动态分析技术在系统运行时监控系统运行状态,分析系统行为信息,为飞控计算机上层软件测试发现系统缺陷、优化系统提供开发工具。基于以上需求,本论文主要研究内容包括:1.为给行为分析框架提供测试验证平台,本文基于全系统仿真器QEMU对PowerPC体系架构的飞控计算机进行数字化建模,并针对当前数字化飞控计算机研究中未对内...

【文章页数】：88 页

【学位级别】：硕士

【部分图文】：

图2-1虚拟机监视器结构图

第二章基于虚拟飞控计算机的行为分析相关技术研究7第二章基于虚拟飞控计算机的行为分析相关技术研究本章首先对全系统行为分析相关技术进行了介绍，接下来对虚拟机自省技术进行了研究，最后对本课题所要使用的虚拟化建模工具QEMU的核心机制进行了分析，为后文工作的展开做铺垫。2.1全系统动态行....

图2-2语义鸿沟示意图

遄?际趸袢∮没?胍?脑诵惺毙形???笤偈褂眯槟饣?允〖际跬瓿筛呒队镆?视图的构建。2.1.2基于VMI的语义视图重构技术虚拟化安全系统的监控单元通常放置在客户端的隔离域上。利用虚拟机监视器(VMM)从外部客户端拦截的能力，虚拟化安全系统能够访问自己的状态。然而，这种隔离在提高自身....

图2-3虚拟机自省原理图

第二章基于虚拟飞控计算机的行为分析相关技术研究9图组件(VGC)来完成的。基于VGC在系统和方法上的位置和差异，综合语义知识，生成视图组件可分为三类：带外传递模式、带内传递模式、派生模式。图2-3虚拟机自省原理图带外传输模式即在客户机外提供所需的语义知识，该模式是最常用的语义鸿沟....

图2-4带外传输模式图

第二章基于虚拟飞控计算机的行为分析相关技术研究9图组件(VGC)来完成的。基于VGC在系统和方法上的位置和差异，综合语义知识，生成视图组件可分为三类：带外传递模式、带内传递模式、派生模式。图2-3虚拟机自省原理图带外传输模式即在客户机外提供所需的语义知识，该模式是最常用的语义鸿沟....

本文编号：3971023