基于WCET分析的实时系统轨迹获取技术

时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-case execution time)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.     

单处理器容错硬实时调度算法

高可靠实时系统的用户要求系统在出现硬件或软件错误的情况下仍能在规定的实现要求前输出正确的结果。基于时间冗余的容错实时调度是实时系统容错的主要手段。该文对单处理器容错实时调度进行系统、全面的论述,并给出近年来的一些研究成果。     

一类时间自动机的时间约束可满足性判定方法

时间自动机是一种有效描述实时系统行为的计算模型。借助时间自动机对实时系统进行分析、设计能够保证所开发的实时系统具有较高的可靠性。在此过程中对时间自动机的验证是非常关键的一步。验证的主要目的是为了保证时间自动机能够正确地描述实时系统。其中迁移的时间约束可满足性就是需要验证的性质之一。常用的方法是通过构造时间区域自动机来实现,但该方法所涉及的状态数目巨大。该文针对一类时间自动机的特点给出了基于时间关系矩阵来判定时间约束可满足性的方法,结果表明该方法能够有效地减少状态数。     

问与答

28问:实时系统与实时操作系统有何关系? 答:实时系统(real-time system)就是有一定时间约束的计算机系统,它可以部分地从及时完成计算或判断的能力来辨别。实时系统有完成的明确期限,对实际应用来说,一个延期的反应就像一个错误的结果一样糟糕。在更严格的情况下,很可能这个时间期限是“硬性”要求的,也就是说,这个系统是“硬”实时系统。和它对应的就有“软”     

裁剪Linux内核屏蔽页面交换机制的研究与实现

页面交换技术是Linux存储管理中采用的重要技术之一，但在有实时要求的系统中，是不宜采用页面交换的，因为它使程序的执行在时间上有了较大的不确定性。文中阐述了如何屏蔽Linux内核中的页面交换机制，从而满足实时系统的要求。     

介绍一种适用于教学需要的模拟计算机——DJM-5型模拟计算机

模拟计算机应用于教学作实时系统仿真曾作出了许多贡献。近年来计算机技术发展速度很快,特别是微型机硬件日趋完善软件不断丰富。从宏观意义上讲模拟计算机为微型机或数字仿真机所取代仅仅是个时间问题,然而在短时间内欲实现这一目标尚有一定距离,这是因为一、解决高速多阶次并行等技术问题造价太高;二、模拟计算机具有高速,直观实时且价格低廉等优点仍为人们所不弃。因此,在今后一段时期内模拟计算机在计算技术应用系统及实时仿真领域中仍有它一定的地位。教学机用户的一般要求是:模拟计算机作为实时系统仿真的实验设备及辅助手段还要继     

一个实时系统性能模拟工具RTSS

RTSS是一个实时系统性能模拟工具,用于分析预测实时系统中最为重要的时间相关类性能指标.它支持模型说明,自动实现模拟过程以降低模拟系统实现代价.本文介绍RTSS所基于的性能模型及RTSS的实现思想.     

实时系统软件开发过程中形式方法的作用

针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向。     

WCET分析：建立实时系统可靠运行的技术

实时系统开发必须强调时间的重要性，为了保证系统安全运行，需要验证系统是否在时限内完成各个任务，因此，当设计和验证实时系统时。了解运行在系统中代码的最坏执行时间(WCET)是非常重要的。WCET静态分析(简称WCET分析)计算实时程序最坏执行时间的上界，而上界被用来为应用程序的任务分配正确的CPU时间，它们也是可调度分析工具的输入，因此，WCET分析是可靠建立实时系统安全正确运行的基础。介绍了WCET分析的概念。指出了传统测量存在的缺陷，剖析了WCET分析研究的关键技术，探讨了目前存在的问题和今后的发展方向。     

基于非精确计算的多错误模式下的容错优化调度算法

实时系统中每个任务必须在其截止时间内产生逻辑正确结果。但是,由于过载并不保证 每个实时任务都能满足此要求。因此,适当降低实时任务精确度以及在错误发生时提供最大利用率 的容错优化方法以保证系统的实时性与可靠性变得非常重要。利用非精确调度中任务的可选部分为 强制部分的错误恢复提供潜在的时间容余,提出了在多个错误发生时既能保证报酬最大化又能提供 强制部分恢复处理的容错优化调度形式算法,并结合实例给出分析过程。