摘要
在分布式实时系统中,时间约束规格的一致性是解决任务分配和调度等关键问题的必要前提。该文给出了一种基于对象分布式实时系统调度的通用模型,并对该模型进行了形式化描述。该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足,允许从方法和活动上描述所需的约束,降低了单一约束描述的繁杂程度。为了解决使用该模型进行约束规格的一致性问题,该文给出了绝对时间约束、相对时间约束、一致性约束以及相对时间约束和一致性约束之间的一致性判定的必要条件。
In distributed real-time systems ,the consistency of timing constraints is one of the critical issues in solving the key problems such as assignment and scheduling of tasks.This paper presents a general formal model for scheduling of object-based distributed real-time systems.With the proposed model,specifying the timing constraints of real-time systems on the logical and functional components of an application is possible,thus reducing the complexity of constraints specification.In order to solve the problem of consistency judgment of constraints specification in the model,the necessary conditions for judging consistency of absolute timing constraints,relative timing constraints and that between consistency constraints and relative timing constraints are presented in this paper.
出处
《计算机工程与应用》
CSCD
北大核心
2002年第15期60-62,71,共4页
Computer Engineering and Applications
基金
国防预研项目
广西科学基金
关键词
分布式实时系统
实时对象
调度模型
实时约束
约束一致性
distributed real-time system,real-time object,scheduling model,real-time constrains,consistency of constraints
