功能性能分离的可信服务构件模型

为了向分布式实时嵌入式系统(DRES)的运行过程提供可信保障服务,方便上层应用程序的开发,提出了一种针对DRES的可信构件服务模型QUOCCM。该模型将系统功能实现与性能确保分离开,把应用程序的性能确保模块抽象成通用的服务确保构件,为运行于动态环境下的应用程序提供自适应的可信保障服务。该文以一个模拟实现的飞行控制系统验证了QUOCCM模型的可行性和灵活性。     

基于XML的嵌入式Linux系统用户界面定制

针对嵌入式Linux系统GUI的可定制性需求,在分析了现有多种嵌入式GUI产品的基础上,提出了一种基于XML的用户界面动态定制方案。它通过一个定制模块为最终用户提供界面维护修改功能,并按照保存在XML文档中的定制结果来显示更新后的界面,实现界面设计数据与应用逻辑模块的分离。该方案在建立于MiniGUI上的嵌入式Linux系统用户界面中得以实现。     

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

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

分布式实时嵌入式系统端到端性能确保

针对具有端到端截非周期任务模型的分布式实时系统,提出了一种ICA算法,构造了一个兼顾非周期实时任务个体性能和总体性能的分布式控制环。该算法能动态调整任务的QoS,从概率上确保了任务的端到端截止时间,并能通过确保CPU利用率来提高系统吞吐量。实验结果证明ICA能为具有端到端非周期任务模型的分布式实时嵌入式系统提供更好的性能确保。     

多核平台嵌入式浏览器并行机制的研究与设计

为了提高嵌入式浏览器在多核处理器上的显示速度,提出了一种针对多核平台的嵌入式浏览器多线程划分并行设计方法。该方法将嵌入式浏览器内核划分为多个线程,以用户界面作为主线程,资源加载、解析、排版布局、图形绘制模块划分为子线程,使嵌入式浏览器以多线程方式在多核处理器上并行执行。该方法打破了传统浏览器的串行过程,克服了传统浏览器的用户响应效果差、多核处理器的CPU利用率低等问题。经实验测试,验证了该方法的可行性,并且在内存不超过64 MB的情况下,网页显示速度提高了18%~40%。     

分布式对象调试中的事件模型(英文)

针对事件的分布式程序调试过程中,需处理大量的事件消息,如果处理不当,则会影响分布式程序的执行,提出了一种分布式对象中的事件模型,采用这种模型,可以大大简化事件消息的收集和处理,解决了分布式实时计算中的不确定性等问题,并降低了分布式调试过程本身给程序执行的影响。     

一种容错实时计算机体系结构的研究与实现

为满足对安全关键领域日益增长的可靠性需求,通过对容错关键技术和多处理器系统的深入研究,提出了一种基于松耦合多处理器体系结构的双机容错实时嵌入式系统设计方案。该方案无缝整合了计算机硬件级、操作系统级、应用级的容错技术,以达到从整体上提高系统可靠性的目的。然后,利用马尔科夫状态图法对该系统进行了可靠性分析和数值模拟,结果表明该设计方案能显著地从整体上提高系统的可靠性水平。     

一种基于BER模式的蓝牙网数据传输算法

分析了蓝牙网在不同BER模式条件下的数据传输情况,提出了一种基于物理链接层BER模式的蓝牙网络的自适应数传算法。按照蓝牙网数据包的ACL分组,在不同BER模式条件进行了数据传输实验,实验结果分析表明该算法能显著改善蓝牙网数据传输效率。     

CASE-DDB的设计和不确定性问题的解决

分布式程序执行行为的不确定性导致其调试工作复杂化，以至于无法用传统的调试工具进行调试。ＣＡＳＥ－ＤＤＢ是一种基于事件的调试工具，用于调试用分布式Ｃ＋＋语言编写的分布式应用程序。文中介绍了ＣＡＳＥ－ＤＤＢ的设计思想和基本结构，提出了一种调试执行行为不确定的分布式应用程序的方法     

树拓扑片上网络的低能耗映射

针对树拓扑片上网络(NoC)中通信时延受约束的低能耗映射问题,提出了一种递归的二路划分算法RPM(recursive bipartitioning for mapping)。RPM基于分而治之策略,首先将NoC映射转化为多层次的IP核通信任务图划分问题,并采用带参数的Kernighan-Lin算法实现最小割值划分。实验结果表明,与已有算法相比,RPM可以在较短的时间内获得能耗更低的映射解。通过设置不同的参数,RPM既可以用于生成高质量的优化解,也可用于快速的NoC设计空间探索中。