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