基于对象分布式实时系统约束的一致性研究

摘要：

在分布式实时系统中,时间约束规格的一致性是解决任务分配和调度等关键问题的必要前提.该文给出了一种基于对象分布式实时系统调度的通用模型,并对该模型进行了形式化描述.该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足,允许从方法和活动上描述所需的约束,降低了单一约束描述的繁杂程度.为了解决使用该模型进行约束规格的一致性问题,该文给出了绝对时间约束、相对时间约束、一致性约束以及相对时间约束和一致性约束之间的一致性判定的必要条件.

关键词：分布式实时系统、实时对象、调度模型、实时约束、约束一致性

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

资助基金：国防预研基金;广西科学基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：60-62,71