分布式实时嵌入式系统的能耗建模与分析

为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能耗约束的可行调度。最后应用一个实例模拟系统的建模和分析过程,从而直观地展示了该方法的可行性。

基于Petri的分布式实时嵌入式软件合理性分析

合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITPN模型。在确保系统实时性的前提下,给出软件模型合理性的形式化定义及其判定定理。最后以实例说明该方法的可行性。

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

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

基于MDE的分布式实时嵌入式系统分析

随着计算机软件技术的发展,在我国军事、工业生产以及控制等多个领域中,分布式实时嵌入式系统得到广泛应用,分布式实时嵌入式系统开发技术也不断发展。但是,在实际应用中,传统分布式实时嵌入式系统开发方法,已无法满足时代需求,分布式实时嵌入式系统现有组成部分的开发以及更新、集成方法等,都需要继续完善以提高系统调度的有效性,提升系统的可扩展性,应用模型驱动工程(Mode-1 driven Engineering,MDE)方法,分析分布式实时嵌入式系统设计,对于提升分布式实时嵌入式系统性能有重要意义。笔者针对传统分布式实时嵌入式系统进行分析,利用MDE方法管理系统,运用模型驱动工程(MDE)方法,管理分布式实时嵌入式系统设计问题,将会发挥重要作用。

基于Berkeley DB核心嵌入式实时数据库引擎

在研究Berkeley DB的基础上,对其数据模型、数据字典、网络特性、事务处理等方面进行优化,设计一个基于Berkeley DB核心的分布式嵌入实时数据库引擎。这种简洁的轻量级数据库系统更适合于嵌入式实时系统应用,可以为其提供更丰富的数据管理功能。

基于控制局域网的实时CORBA事件服务的研究

实时CORBA和小型CORBA是许多分布式实时嵌入式系统所依赖的基础,而事件服务能够在分布式环境下,提供有效的灵活的通讯机制。该文结合了实时CORBA与事件服务两者的优点,描述了一个符合OMG事件服务标准的此类服务,适用于由控制局域网构筑的分布式嵌入式系统,并提出了一种事件有效分配的协议。

DRMS中基于中间件的端到端QoS管理模型

在分布式实时嵌入式系统(DRMS)中,维持端到端(end-to-end)的服务质量(quality of service,QoS)是一项富有挑战性的任务。本文提出了一种基于中间件的端到端QoS管理模型,并通过此模型在"近海水面大区域智能自动游动式监测站系统"中的应用,展示了端到端资源管理模型是如何动态重配置系统,以满足实时QoS需求的。

基于QNX的网络视频监控系统的设计与实现

对采用分布式嵌入式实时操作系统QNX开发基于PC硬件平台的嵌入式网络视频监控系统作了应用分析和系统设计 ,并详细论述了系统的视频采集卡驱动程序和视频回放软件在QNXRTP 6 1 0的实现方法。QNX无与伦比的实时性、稳定性、可靠性等性能和对PC硬件的特有支持 ,使得本系统取得了非常高的性价比。