一种嵌入式GUI软件结构实现方案

综合比较了嵌入式GUI的几种实现方式,结合嵌入式系统的特点,研究了嵌入式GUI中的关键技术,分析了嵌入式GUI与普通GUI系统的不同之处,提出一种通用的嵌入式图形用户界面系统的设计思想和体系结构,这种嵌入式GUI实现方案具有轻型、占用资源少、可剪裁等特点。     

支持MLS的多层次嵌入式高可信软件架构

为增强安全关键系统的高可信能力,在分析高可信保障机制现状的基础上,提出了一种多层次的高可信软件架构。该架构采用时空分离思想、虚拟机技术,为基于MLS的嵌入式安全关键系统提供了一种整体解决方案。基于该架构,研究了多层次的安全和防危策略管理方法、信息流控制机制、可信软件的评估和认证方法,为安全关键嵌入式系统提供可认证的安全服务。     

一种非周期软实时系统的缓冲设计方法

研究了任务的到达时间和执行时间均不确定的非周期软实时系统,采用排队论的分析方法,非周期软实时系统被看成是典型的随机离散事件动态系统,并被模型化为一个M/M/1/H混合制排队系统,讨论了抛弃率、截止时间错过率和平均截止时间超过量等三种性能指标,并在此基础上进行了缓冲容量的最优设计。性能分析表明缓冲设计方法能有效地改善系统的性能。     

引用计数与时间戳的混合垃圾搜集器算法

实时垃圾搜集器(GC)的任务是及时回收系统中无用内存,并保证实时任务不超过其时限,在此基础上还应尽可能降低系统内存需求。提出了引用计数与时间戳的混合GC算法,用引用计数算法回收非循环垃圾,用时间戳算法回收循环垃圾,并参与系统并发调度。不仅能回收全部无用内存,与标记清除混合GC相比还可进一步降低系统内存需求,该算法适用于大规模系统。     

移动终端浏览器的设计和实现

介绍了移动终端网络应用的现状及无线应用协议和WWW两种网络编程模式。在分析移动终端硬件平台特点的基础上,提出了一种移动终端浏览器d-MTB,并详细描述其体系结构及主要组成部分,给出了设计实现方法。该设计以嵌入式操作系统为基础,具有灵活性、移植性和可扩展性等特点,并在PDA和智能电话等多种不同软、硬件平台的移动终端中得到了具体应用。     

安全关键系统中防危策略的设计技术研究

为保障安全关键系统的正常运行,防止由用户对安全关键设备的误操作引起的系统故障,该文提出了一种通用的安全关键系统防危体系结构和防危策略模型,并以核能发电控制系统为原型研究了一种基于有限自动机的防危策略设计技术,该技术可推广到其他任何安全关键系统设备中．     

梯度相关的无线传感器网络成簇路由协议

分析了梯度和成簇无线传感器网络路由协议,确定了协议中存在的缺陷,设计了一种基于梯度的高效节能成簇路由协议(GBCRP)。采用基于跳数的梯度建立、能量相关的成簇算法、关键节点转发和功率自适应的簇头路由等技术,解决了无线传感器网络的节点能耗和路由失败而导致的数据传输可靠性问题。仿真实验表明,该协议有效地延长了网络的生命周期。针对不同密度的传感器节点,网络生命周期具有很好的稳定性,同时该协议也具有较好的可靠性保障。     

实时调度算法研究

对实时调度进行了讨论：研究了单处理器下的经典调度算法：单调速率调度、最早死线调度和最短空闲时间优先调度;分析了多处理器系统中的典型调度算法：对分布式系统中的两种调度算法：广义单调速率调度和分布式风车调度做了简要论述;指出实时调度研究策略方向。     

基于任务模块的实时软件可靠性模型

根据实时多任软件的特征和各任务所占系统时间的非均匀分布，以任务模块为基本测试单元，提出一种实时多任务软件可靠性评价模型。由于任务周期、任务切换方式、切换频率以及任务故障率等基本参数易于分析和测试，因此该模型具有良好的可实现性和可扩充性，为实时多任务软件的可靠性评价开辟了一条新途径     

MPSoC软硬件划分的自动波竞争神经网络算法

针对基于可重用组件的MPSoC软硬件划分问题,提出了一种采用自动波竞争神经网络的优化算法。先将软硬件划分问题转化为图论中的多约束最短路径问题,然后重新设计神经网络中的自动波机制,从组件库中为系统中的每个任务模块选择合适的软件构件或IP核,在系统成本和实时性约束下,使得MPSoC功耗最优。该算法具有并行化、无参数、易于硬件实现的特点,可获得MPSoC软硬件划分问题的最优解。