航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

基于MPC8640D处理系统的技术研究

结合多年嵌入式处理的设计经验,借鉴国外高性能嵌入式计算机的设计原则,提出基于MPC8640D的新一代处理系统的设计与实现方法,其特点是:高集成度,双核的高处理速度,高速外部串行总线接口,大容量存储器。基于该设计的处理器模块已经开始用于机载电子设备中。     

机载嵌入式系统中的多核处理架构研究与分析

与单核处理器相比较,多核处理器在性能、功耗、体积以及重量各方面都有绝对的优势,这使得多核处理器在机载嵌入式系统中的应用成为必然趋势。在分析了航空电子系统的任务特点之后,介绍了两种最常见的多核处理器系统架构：对称多处理（SMP）和非对称多处理（AMP）,对这两种系统架构在机载嵌入式系统的应用进行了研究分析,并分析了其关键技术对实时性、安全性和确定性的影响。     

嵌入式远程监测系统的硬件设计

采用单片机和微控制器的监测系统己得到广泛的应用,但这些系统在数据处理、网络通讯等方面能力有限,无法适应远程实时监测的要求.采用新型32位嵌入式CPU进行了一种远程监测嵌入式系统解决方案的硬件设计.系统实现了8通道模拟信号采集,具有功耗低、体积小、集成度高等特点.采用SD卡存储技术、以太网技术以及USB技术,提高了系统智能化和网络化程度.系统可以实时地监测设备状态,对状态信息进行分析与保存,并可以通过网络提供设备运行状态信息.     

改善嵌入式实时内核性能方法的比较

针对Linux系统在实时应用中的技术障碍,首先分析嵌入式内核实时性不足的主要原因.然后分析和研究了多任务,双内核和任务分割三种改善嵌入式实时性能的不同方法,并对它们各自的优缺点进行比较.研究表明,嵌入式实时内核性能有很大的改进空间.     

面向eCos的嵌入式软件集成开发环境设计

eCos嵌入式可配置操作系统结构清晰,具有良好的可移植性,得到了广泛应用.在介绍eCos操作系统的基础上,分析了eCos现有的开发环境特点及形成一个集成开发环境的需求,然后给出了集成开发环境新增模块的设计方案.     

分布式信任模型在嵌入式Internet中的应用研究

为了充分利用嵌入式设备的联合处理能力,嵌入式设备之间必须进行一系列的合作.信任是人们进行社会交往的基础,人们之间的信任关系在不断地更新和传递.依据这种原理,提出了一种基于社会信任关系的协同工作分布式网络模型.嵌入式Internet系统中的设备在协作过程中,互相之间逐步形成了一种相互信任的关系,这种关系以信任表的形式存在本地端点中,并通过不断地自学习来修改信任表.给出了信任模型的建立过程以及信任参数的更新和传递算法,应用实例表明了模型的有效性.     

嵌入式GIS中电子地图数据模型和查询优化问题的研究

对基于掌上电脑的嵌入式电子地图系统中查询优化问题进行研究,构造基于掌上电脑平台环境下多尺度数字地图的数据模型,建立一种适用于嵌入式GIS系统的四叉树空间索引,以提高空间查询的效率;提出了一种优化嵌入式GIS系统中的数据访问方法.系统应用结果表明:改进的四叉树可提高空间查询的效率,数据优化方法可加快电子地图显示和查询的速度.     

一种双余度非相似容错计算机软件设计

非相似余度设计是容错技术的重要设计方法,在很多领域都有广泛应用,在航空领域主要应用于飞行控制系统.在非相似双机架构下分析现有且适宜的操作系统,并在此基础上构建适合机载飞控系统的底层运行框架和任务调度算法,在此框架下研究双机余度管理的关键技术.研究结果表明,所设计的软件框架与算法满足飞控系统要求.