嵌入式实时系统中分布式RTOS的设计与实现

在构建入嵌入式实时系统的分布式硬件平台基础上，研究了嵌入式实时系统中分布式RTOS的设计与实现问题，抽象出应用于此类系统的RTOS层次模型，并给出了实时通信核心技术和分布任务调度策略。     

分布式实时系统的软件故障注入

针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统。软件故障注入系统分3个部分进行设计,软件故障注入器、数据收集模块和故障数据分析模块。对基于该结构的软件故障注入过程进行了说明,实现软件故障注入系统并做了相应的实验分析,实验检测到故障多数为通信故障、内存故障和CPU故障,其覆盖率分别为37.68%、15.47%和15.17%。实验证明这种体系结构很适合分布式实时环境的应用,同时也为进一步研究软件可信验证提供了理论基础和实例依据。     

分布式实时嵌入式系统的分析和合成

现在，嵌入式计算机系统已经十分普及。从闹钟到PDA，从移动电话到汽车，几乎所有我们使用的设备都由嵌入式计算机控制着。嵌入式计算机系统的一个重要类别是硬实时系统，它对时间的要求非常严格。由于实时系统越来越复杂，所以，通常靠分布式异构体系结构来执行。本书介绍了异构分布式硬实时嵌入式系统的分析和合成方法。     

分布式IPC实时性能的研究

抽象出分布式实时ＩＰＣ的一致模型,以此模型为基础,从及时性和可预测性两个方面分析了影响其实时性能的主要因素,最后总结出一个分析评价分布式ＩＰＣ实时性能的客观标准,作为研究开发分布式实时系统的参考     

C/S模式下实时考核系统的设计与实现

讨论了C／S模式下两层、三层和基于服务的体系结构的特点，给出了实时系统的设计与实现过程。     

C／S模式下实时考核系统的设计与实现

本文讨论了C／S模式下两层、三层和基于服务的体系结构的特点,结合实例给出了实时系统的设计与实现过程。     

分布式IPC实时性能的研究

抽象出分布式实时ＩＰＣ的一致模型,以此模型为基础,以及时性和可预测性两个方面分析了影响其实时性能的主要因素,最后总结出一个分析评价分布式ＩＰＣ实时性能的客观标准,作为研究开发分布式实时系统的参考。     

分布式实时系统的组资格成员算法

从满足分布实时系统容错要求的角度出发,基于ＴＤＭ广播网,提出了分布式实时系统中的一个处理机组资格成员算法,只要系统中故障处理机数目不超过半数,该算法就能在其发生周期之后最多不到２个周期的时间内检测出系统中的处理故障,并维持一个正确的处理状态视图;对算法的正确性给予了证明。     

嵌入式实时操作系统

本文主要阐述了嵌入式操作系统的一种应用,即实时操作系统, 介绍了它的基本体系结构--模块结构和层次结构,模块结构,也是最一般的结构化设计; 设计原则--对于实时系统来说,最重要的要求就是实时操作系统必须有能力在一个事先定义好的时间限制中对外部或内部的事件进行响应和处理;同时讲述了嵌入式实时操作系统的现状以及发展趋势.     

一种更加优越的Web计算模型

为了克服Web的一些缺点，把Web技术，分布式对象技术两者有机结合，使其形成灵活的多级分布Web计算模型，讨论了3层（表示层，功能层，数据层）模型结构，并给出了计算模型的优点，介绍了当前主要的CORBA、DCOM两种分布对象体系结构的内容和特点、最后，对这两种结构进行了比较。     

分布式实时系统的一种系统模型

提出了一种能捕获进程级数据流和控制流的系统模型。这种模型可以处理系统数据相关性和控制相关性，更好地进行进程的调度，满足分布式实时系统的实时性。     

一种更加优越的Web计算模型

为了克服Web的一些缺点,把Web技术、分布式对象技术两者有机结合,使其形成灵活的多级分布Web 计算模型。讨论了3层（表示层、功能层、数据层）模型结构，并给出了计算模型的优点,介绍了当前主 要的CORBA、DCOM两种分布式对象体系结构的内容和特点,最后,对这两种结构进行了比较。     

实时对象模型及其可调度性分析

扩展了面向对象模型，将实时系统中的时间特性封装在对象中，形成实时对象模型。进一步在实时对象中引入多线程，将实时对象模型分为非剥夺的和可剥夺的。在此基础上比较了这两种模型的可调度性。     

分布式实时系统的组资格成员算法

从满足分布实时系统容错要求的角度出发 ,基于 TDM广播网 ,提出了分布式实时系统中的一个处理机组资格成员算法 ;只要系统中故障处理机数目不超过半数 ,该算法就能在其发生周期之后最多不到 2个周期的时间内检测出系统中的处理机故障 ,并维持一个正确的处理机状态视图 ;对算法的正确性给予了证明 .     

实时对象模型及其可调度性分析

扩展了面向对象模型，将实时系统中的时间特性封装在对象中，形成实时对象模型．进一步在实时对象中引入多线程，将实时对象模型分为非剥夺的和可剥夺的，在此基础上比较了这两种模型的可调度性．     

一种分布式实时系统的支撑平台

分布式实时系统支撑平台试图为应用开发者提供一个开发分布式实时应用的通用框架·该支撑平台由事件总线、数据访问总线和系统服务组成,具有开放的分布式实时系统结构·概述了事件总线和数据访问总线的组成、工作原理和工作过程等·重点讨论了实现实时QoS的描述、实时QoS的映射、实时资源的监视与分配等关键技术问题·该支撑平台已在True64UNIX系统上实现,并应用于电力实时控制系统·应用表明,该支撑平台可以满足实时应用的可预见性、可扩充性、高可用性等·     

具有自适应特性的反射式动态弹性调度模型

针对负载可以弹性变化的实时系统,提出了一种两层结构的动态调度模型,实现具有自适应性的反射式弹性动态调度.上层调度采用弹性调度算法动态地调整实时任务的作业周期,底层调度采用MUF调度算法,保证实时任务的优先级次序.通过反馈控制,弹性调度器对实时系统的性能进行动态优化.在保证实时任务服务质量(Quality of Service QOS)要求的前提下,通过改变实时任务的运行周期,接纳尽量多的服务请求,以达到提高实时系统吞吐率的目的.模拟测试表明本模型适用于实时任务负载可以动态变化的实时系统中.     

DRT-UNIX的故障检测技术

论述了故障检测技术在分布式实时系统中的作用和地位,介绍了虚拟定时令牌协议,研究了利用系统对虚拟令牌的维护来检测系统中结点机故障的方法和实现技术．这种方法可为分布式实时容错处理程序提供结点机故障的信息,使得DRT-UNIX系统具有很好的容错性．     

实时CORBA技术综述

实时CORBA系统是一类重要的服务应用，实时CORBA技术不仅具有通用实时系统的特征，而且是基于网络通信的分布计算，有着区别于其它实时系统的特征。本文针对OMG组织制订的实时CORBA规范、固定优先级驱动的RM和DM调度算法、动态优先级驱动的EDF和LST调度算法、混合优先级驱动的MUF调度算法、多处理器和分布系统中的优先级驱动调度方法MPCP、资源访问与控制协议PCP和CPP、端到端实时CORBA系统调度模型、实时CORBA应用系统TAO系统和NraD/URI CORBA系统以及相关支撑技术，包括实时操作系统和实时通信技术等方面，对实时CORBA技术进行分类、比较、分析和综述。     

计算机实时系统在武钢2800轧机HAGC上的应用

研究针对武钢2800轧机HAGC系统改造项目的计算机实时系统.硬件结构以VME总线多处理器系统为基础,采用分布式控制思想,根据各种算法的复杂度和系统所要求的响应时间划分任务和分配硬件资源.在软件实现上,采用VxWorks实时操作系统,运用多任务机制、客户/服务器机制和内存共享机制等建立面向复杂实时控制的系统架构,并给出了HAGC控制算法结构图.该设计已用于实际生产并长期可靠运行.