基于非精确计算的实时任务检查点设置策略

实时系统要求每个任务必须在其截止时间内产生逻辑正确的结果，然而，由于故障的存在使得系统无法保证所有任务都能满足这一条件，因此，适当降低实时任务的精确度以及提供优化有效的容错方法变得至关重要．文章基于非精确计算理论提出了一种检查点设置策略IC—CPS，该策略面向多任务的实时系统，可以提供容错能力和确定性实时保证．数值测试证明IC—CPS不仅提高了系统的容错能力，扩大了检查点策略的应用范围，使得实时任务能够在按时完成的前提下容忍更多的错误，而且还降低了系统因为设置检查点所产生的开销．     

实时系统及其软件设计

本文对实时系统进行了简要介绍,并介绍了实时系统软件的两种模式和一些相关的概念,基于这两种模式给出了编程的例子,最后给出了笔者在编程时的一些经验.     

一种启发式与/或优先约束任务调度算法

系统描述了与或网模型及与或优先约束任务调度的可行性判定算法.以顶点覆盖问题为基础,证明与或优先约束任务调度最小完成时间问题是NP完全的.提出一种启发式调度算法,解决与或优先约束任务调度最小完成时间问题.仿真结果表明,该算法在降低算法复杂度的同时较其它相关算法具有更好的调度性能,从而证明在实时优先约束任务调度中引入图优化的理论是解决优先约束任务调度问题的一个有效途径.     

自备电厂数据采集系统的研制

生产过程数据采集系统将计算机网络技术应用到生产过程监视方面,大大改进了生产过程的监视能力,提高了生产过程的管理信息化水平.本文介绍生产过程数据采集系统的软件,数据库设计及其关键技术,利用计算机网络技术,高速数据存储技术实现网络间的数据共享.本系统结构简单,可扩充性好,性价比高,稳定可靠,实际运用中能很好地满足电厂数据采集的需求.     

UML-RT在实时系统中的应用研究

采用UML-RT为实时应用的结构和行为建模的基本概念及策略,给出了实时系统分析和设计的方法;并以一个实时系统的结构模型和行为模型的实现为例,说明了利用UML-RT进行实时系统建模的具体过程.     

时间Petri网的ECS-class可达性分析方法

时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型,可达性分析是Petri网模型最基本分析方法.基于"状态类(State-class)"的可达性分析方法不能正确计算并发情况下的时间延迟,而基于"带时间戳的状态类(CS-class)"的可达性分析方法不能正确处理冲突情况下的事件调度,因此提出了"扩展的带时间戳的状态类(ECS-class)"可达性分析方法.它不仅正确的计算时间延迟,而且合理地调度事件.并对一个时间Petri网模型进行可达性分析验证.     

实时测控软件系统测试方法研究

针对基于UNIX平台的实时测控软件系统多进程多线程并发运行、信息流量大、接口关系复杂、实时性强、可靠性高的特点，在分析实时测控软件功能测试的基础上，提出了采用软件集成和嵌入监测模块的方法，实现了对实时测控软件系统CPU使用率、模块级运行效率、资源开销等性能测试，解决了实时测控软件性能测试的难题，为实时测控软件系统研制、质量评定和应用提供了科学的依据．     

实时系统（二）

实时系统不停地实时监控周围环境的变化,如遇被测参数突变,便立即调用中断服务程序来响应,或驱动执行机构、或显示报警。实时系统要执行许多不同的任务并使其协调进行,有如同时工作一样。同时,系统软件还必须提供任务间的相互通信以及管理驾驭系统资源,如存储器、外设装置以及输入、输出等。所有上述这些,统一由一个系统软件来完成,这就是实时系统操作RTOS。RTOSRTOS是硬件和应用程序之间的软接口,这是一个完整独立的系统程序。RTOS把整个软件系统分成许多小的、独立的分模块,从而降低了系统的复杂性,并提供下列诸功能:·通过交换、…     

实时系统中的DSP（九）

顾名思义,实时系统必须能及时地完成各种操作。数据信号处理器DSP善于处理连续的数据流,它典型地具体体现了实时系统的本质。DSP的各种功能操作绝不会错过限定的执行时间,而且不会给数据带来严重的错误。DSP的典型应用领域是:·通信、电信及声频技术。·语言处理:语言的编码、压缩及识别。·雷达:电子战、信号侦察以及干扰对抗。·声纳:目标的跟踪与识别。·图像:医学诊断、行李检查以及过程控制。·数据采集,仪器仪表以及各种控制系统。显然,上述诸系统均有两个基本要求:一是对操作的执行时间要求非常严格,二是要求传输数据流的带宽非…     

一种任务优先级的综合设计方法

提出了一种基于优先级表设计的调度算法.将任务的相对截止期和空闲时间这两个特征参数结合起来,综合设计任务的优先级表,使得截止期越早或空闲时间越短,任务的优先级越高,而且任务的优先级由相对截止期和空闲时间惟一确定.对于任意一个任务,可通过对设计的优先级表进行二元多点插值获得相应任务的惟一优先级.与传统的EDF和LSF算法进行仿真比较,仿真结果表明,通过优先级表设计方法来确定任务的优先级,提高了任务调度的成功率,降低了任务截止期的错失率.该方法可应用于实时系统中实时任务的动态调度中.