嵌入式跨平台虚拟软件技术的研究与应用

嵌入式跨平台虚拟软件是一种将RISC硬件体系结构虚拟成CISC硬件体系结构平台。本文的研究目的是通过在RISC体系硬件平台添加一个软件层,实现一个虚拟而且兼容X86的硬件平台,从而顺利地运行X86平台下的所有操作系统、应用程序等X86系列软件。重点讲述嵌入式跨平台虚拟机CPU虚拟设计和bootloader设计。嵌入式跨平台虚拟软件技术在嵌入式行业中有较高的应用价值。

跨平台模块化嵌入式多任务软件框架研究

针对嵌入式实时多任务应用软件的特点,设计了一种跨操作系统平台和硬件资源平台的软件框架,该框架以软件功能为模块划分的依据进行软件模块的加卸载等操作,实现了上层应用软件与底层硬件、操作系统及板级支持包的隔离,提高了嵌入式实时多任务应用软件的可靠性、复用性和可移植性。该软件框架现已应用于某试验系统数据处理软件中,实现了数据处理软件的良好跨平台和模块化特性。

嵌入式软件虚拟内存管理平台的研究和实现

虚拟内存管理在通用操作系统中是非常重要和有效的,但由于嵌入式设备资源的有限性以及嵌入式应用实时性和可移植性的要求,必须提出一种适用于嵌入式软件系统的虚拟内存管理机制。分析了嵌入式系统虚拟内存管理应具有的功能特点,提出了一种具有处理器无关标准编程接口的嵌入式虚拟内存管理平台的实现方法。

激光雷达SCADA跨平台嵌入式软件设计

为满足激光雷达系统控制与数据采集(SCADA)对跨平台的需求,利用基于组件的框架技术,在ColdFire+μC/OSII初始平台上采用标准C语言实现了SCADA嵌入式软件。在领域分析基础上明确了SCADA软件架构,对软件架构进行可通用部分和平台依赖部分划分及组件化处理,形成SCADA软件框架,并在框架基础上完成软件设计。实验结果表明,基于框架的SCADA嵌入式软件不仅提高了软件的可靠性和可扩展性,而且实现了软件向其它平台扩展的能力,达到了设计重用和代码重用目的。

嵌入式跨平台软件底层库的设计

随着目前嵌入式应用软件的增多,很多不同的嵌入式产品都具有相同功能的应用软件。通过设计一个跨平台的嵌入式应用软件底层库,由此库来屏蔽各种不同的嵌入式平台,这样一来,在某一种平台上开发的软件只需重新配置底层库而不需要修改应用程序即可在另一个平台上运行,为软件的开发节省了时间和成本。

嵌入式软件虚拟化测试技术标准框架研究

针对嵌入式系统硬件平台采用纯软件仿真并对嵌入式软件进行功能级测试的相关研究存在较多不足,缺乏整体、统一、灵活、标准的仿真部件间接口,致使不同体系、类型的处理器仿真核与各类外设间较难进行快速、直接的整合与交互、导致缺乏系统级可配置能力、各类仿真核与调试器(GDB)间不能进行直接、有效地互联和交互,从而无法达到可定制、组件化的系统级仿真及虚拟测试环境快速搭建目标.基于组件化思想,提出一套处理器仿真、外设仿真和调试器(GDB)三者间可进行直接、快速交互的标准结构、标准接口和基本处理逻辑,优化和删减了GDB层次,扩充了新功能,使之在运行时可动态加载、支持多种仿真处理器体系.研发了虚拟测试系统,验证了所提方法、结构、接口的有效性和正确性,与其他同类技术、项目进行了综合能力比较.结果表明本文所提方法、技术具有较多优势.

虚拟实验平台在嵌入式系统教学改革中的应用

针对当前嵌入式系统教学中存在教学时间不足、实验与教学不同步等问题,提出了构建1个多功能嵌入式虚拟实验平台作为教学主要辅助手段,并围绕该实验平台提出了实验设备进课堂、实践先行、成绩考核多样化、由虚变实等多种嵌入式系统教学改革措施,拓展了教学时间与教学空间,激发了学生的学习兴趣,提高了教学质量。

基于ARM Cortex平台的嵌入式系统课程虚拟实验平台设计

针对高校嵌入式系统课程逐渐迁移到全新的Cortex-M平台,设计开发了一套分层次的基于CortexM3的虚拟实验教学平台。实验平台分基础型、综合型和设计型3个层次,采用递进教学方式,由浅入深,循序渐进,以适用不同知识基础的学生。虚拟实验教学平台可在教学时间与教学空间上拓展嵌入式系统课程的学习范围,激发学生的学习兴趣,提高了教学质量。

嵌入式软件目标码仿真测试平台的研究与设计

为了满足当前提出的对安全关键软件进行目标码测试的要求,改变目标码测试工具缺乏的现状,提出了一种目标码仿真测试平台的设计方案。分析了目标码测试的特点,在此基础上提出了一种基于虚拟软件测试环境的支持嵌入式软件目标码测试的仿真测试平台的设计结构,给出了虚拟运行平台构建、目标文件静态分析、测试用例加载、测试信息采集记录和目标码覆盖率统计的解决方法。通过设计TMS320C67x目标码仿真测试平台,验证了该设计的有效性。

实时嵌入式软件仿真测试平台的体系结构设计

从实时嵌入式软件测试平台的需求出发 ,分析了实时嵌入式软件测试对计算机体系结构的要求 。

基于虚拟机的嵌入式软件仿真测试环境

为了提高嵌入式软件的质量和可靠性,提出了一种基于虚拟机的嵌入式软件仿真测试环境.将虚拟机技术引入到嵌入式软件仿真测试领域中,介绍了嵌入式软件仿真测试环境的构成原理,并对虚拟机技术进行了分析,提出一种基于程序移植虚拟机模型扩展的嵌入式软件仿真测试虚拟机(ESSTVM),给出了内存管理和指令系统的设计方案.将ESSTVM应用到航电嵌入式软件系统测试环境AESSTE设计中,研究了该测试环境的体系结构,阐述了测试开发系统及测试执行系统的设计与实现,并对AESSTE的可移植性进行了分析.分析结果表明,该方法能有效提高嵌入式软件测试环境的通用性、可移植性和可维护性.

嵌入式软件平台的构件化模型研究

为了提高嵌入式软件的生产率,本文提出了一种基于构件的嵌入式软件平台模型CBMESP。CBMESP将软件开发平台与运行平台以统一的构件模型进行构件化,使其可以应用于各种嵌入式领域而不必更改该模型,只需调整构件库中的具体构件即可,具有普遍适用性。因此,CBMESP不但加强同一领域内,也加强了领域之间的重用性。CBMESP强调并提供了开发平台与运行平台(应用软件)统一的基于构件的定制方式,更好满足了嵌入式软件开发的多样性要求;最后(BMES根据嵌入式软件特点提出构件模型由三个可以独立实现和运行的部分组成,并解决了各部分之间信息的传递问题,较好适应了嵌入式软件的交叉开发过程和嵌入式系统资源有限的特点。

嵌入式系统虚拟运行平台的设计与研究

新的嵌入式系统设计是采用软、硬件并行的工作方式进行的,该论文提出了一种构建虚拟运行平台的技术,用来解决嵌入式系统设计中的设计、调试问题,实现软硬件协同工作的模式。文中着重介绍了构建嵌入式虚拟运行平台中的指令执行、存储器管理等核心技术问题。

跨平台嵌入式地图可视化机制研究

针对适应多样性嵌入式操作系统的地图可视化,在分析了嵌入式环境下跨平台技术的基础上,基于中间件技术构建了跨平台的嵌入式地图可视化引擎EMD_EN体系结构,提出了引擎中涉及的面向对象的消息传递机制、基于双缓冲机制的图形显示与控制、嵌入式地图符号库等关键技术解决方案,并给出了基于EMD_EN的跨平台应用软件的开发方法。该跨平台地图可视化引擎在工程实践中得到检验,应用表明该引擎能较好地解决跨平台的数字地图显示问题。

嵌入式系统虚拟原型平台的SystemC实现

提出一个基于SystemC的可配置嵌入式系统快速虚拟原型平台 ,它具有典型的片上系统结构 ,支持多层总线架构 作为SystemC事务处理级模型 ,该平台支持快速仿真和通信细化 将此平台应用于IEEE 80 2 11媒体访问控制器的设计 。

基于虚拟机的嵌入式软件测试环境

嵌入式软件的系统测试需要系统测试环境的支持,而当前使用最多的专用测试环境,因为可移植性较差,极大的限制了测试用例的可重用性。文中提出了一种全新的基于测试虚拟机的软件测试环境,并且详细介绍了测试虚拟机的原理以及利用微内核模式对测试虚拟机的体系结构进行设计。

嵌入式电容层析成像系统软件平台的构建

针对电容层析成像(ECT)系统体积大,成本高等缺点,开发了基于ARM9处理器的低成本嵌入式电容层析成像(ECT)系统;该系统以嵌入式Linux系统作为软件开发平台,采用MiniGUI实现图形用户界面操作并对整机进行控制;系统采用八电极ECT传感器作为测量装置,在文章构建的嵌入式ECT系统平台上采用LBP算法实现图像重建;实验结果表明该嵌入式系统运行稳定,能实现图像重建,并具有体积小、功耗低、使用简便等特点,目前已应用于ECT实验数据的测试和分析中。

嵌入式GIS跨平台技术的研究与实现

在分析常用软件跨平台技术的基础上,提出了基于嵌入式GIS图形中间件和数据中间件实现嵌入式GIS跨平台的方法。通过构建嵌入式图形接口描述表、图像缓存驱动、图形缓存驱动和GDI适配器的图形中间件以及基于地理空间数据访问引擎、数据管理引擎和数据定制技术的数据中间件,满足了嵌入式GIS快速跨平台开发的需求。

GDIXEADP:面向服务的嵌入式软件开发平台(英文)

针对当前多种多样的嵌入式开发环境,如多种处理器、外围设备等的存在,传统的嵌入式软件开发平台已经不能满足嵌入式开发多变的需求,不得不采用多个开发环境、多种开发工具以满足不同的需求,因此,如何构建一个统一的嵌入式软件开发平台架构,是一个迫切而实际的课题。SOA(Service O riented Arch itecture)概念提供了一种可能,提出了一个基于SOA的服务软总线思想的嵌入式软件开发平台架构,可以将多种开发工具集成到一个统一的框架且具有很好的扩展性,并且将它应用于一个面向信息家电嵌入式应用的集成开发环境GD IXEAIDE实例。

嵌入式联锁软件模拟自动测试平台的研究

为满足联锁软件黑箱测试的要求 ,对联锁软件安全性需求进行了分级形式化表达。阐述了嵌入式联锁软件模拟自动测试平台的分布式结构模型及其实现方案。最后 。