Linux环境下实时系统的Socket通讯

实时数据库结构在工程师站中建立、重组或重构的结果要传输到工作站。讨论了实时数据库结构文件传输的基本原理并介绍了在Ｌｉｎｕｘ环境下利用Ｂａｒｋｅｌｅｙ Ｓｏｃｋｅｔ实现实现基于ＴＣＰ／ＩＰ协议的实时通信的方法。     

图像信息处理机嵌入实时系统软件设计方法

介绍了图像信息处理机的应用需求和特定的硬件结构,以该处理机实时操作系统和实时应用软件的设计方法为例,探讨了在强实多、多处理机系统中一种先进的设计方法－DARTS方法的设计思想和步骤。     

基于软件容错的动态实时调度算法

在硬实时系统中,由于任务超时完成将会导致灾难性后果,因而硬实时系统具有严格的时间及可靠性限制奈件．目前实时容错调度算法大部分针对硬件的容错,很少考虑软件运行的故障．提出了一种类似EDF基于软件容错的动态实时调度算法EBPA(expectation-based probing algorithm),该算法在任务执行过程中通过基于期望值的若干试探性检测步骤,提高了任务可执行性的预测,尽可能避免了任务早期的错误对后续任务的影响,因此提高了任务的完成率并同时有效地减少了浪费的CPU时间片．通过实验测试,同目前所知的同类算法相比,具有更佳的调度性能-调度成本比．     

Z实时扩展及基于多视点的应用模式

RT—Z是由Z和经实时扩展的通信顺序进程timed CSP集成的用以描述实时系统的规格说明语言,它将Z对状态描述的优点和timed CsP对时序关系和并发描述的优点相结合,具有强大的描述能力;而基于时序转化系统的Z扩展适合描述系统状态的转化。给出了Z实时扩展的分类原则并从讨论了其应用特点,最后在分析RT—Z的语义集成的基础上提出了Z实时扩展的多视点应用模式。     

Linux操作系统调度器实时性能的研究和改进

Linux操作系统在嵌入式实时系统中得到了广泛的应用,有效地提高Linux有限的实时性能是一个重要问题,Linux内核调度器实时性能的改进又是其中的关键。该文分析了Linux操作系统调度器的工作机理,指出了影响其实时性能的原因,详细地描述了实时性改进的方案和实现,并给出了改进后的测量结果及评价。     

实时多处理器动态调度算法的研究与应用

实时多处理器系统的动态调度算法一直是实时系统研究中的重要课题。该文首先介绍了实时多处理器动态调度的几种方法,并对这些方法进行了分析、对比和研究。然后针对水下航行器制导系统多任务特点,讨论了水下航行器制导系统的动力学、运动学模型及控制、导引方程,并对其任务进行详细划分。最后结合任务的偏序关系、运行时间及截止期,对水下航行器多任务模型进行了实时多处理器动态调度,给出最佳调度方案。     

多余处理器时间回收与最坏执行时间分析

通常的最坏执行时间分析方法的结果过于悲观(overpessimistic),根据这种结果进行调度将导致资源的极大浪费。面向对象的编程语言由于具有封装、继承、多态的特点,使得按照通常的方法获得的最坏执行时间更加悲观。解决这个问题的一个办法就是限制面向对象语言这些特点的使用,但这又导致最终的实时系统不够灵活,失去了面向对象语言的优点。文章以实时JAVA系统为例,介绍了将运行中赚取时间(gaintime)的回收与最坏执行时间分析相结合的方法,这种方法既提高了资源的使用率,又保证了系统的灵活性和性能。     

线性令牌传递网络中消息实时保证概率分析

本文针对线性令牌传递网络,提出了一种网络带宽分配方法和基于实时保证概率的网络性能分析方法,导出了消息严格实是的保证概率表达式,并给出了实用的近似算法。     

Decidability of mean value calculus

Mean Value Calculus(MVC)^[1] is a real-time logic which can be used to specify and verify real-time systems^[2].As a conservative extension of Duration Calculus(DC)^[3],MVC increases the expressive power but keeps the properties of DC.In this paper we present decidability results of MVC.An interesting result is that propositional MVC with chop star operator is still decidable,which develops the results of [4]and [5].