论文部分内容阅读
为了解决分布式实时系统有关分配和调度等问题,给出并用形式化方法描述了一种基于对象分布式实时系统调度的通用模型.该模型包括表示时限的绝对时间约束、表示周期属性的周期约束、表示各种前趋关系和同步要求的相对时间约束以及保证资源使用一致性的一致性约束.此外该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足,允许从方法和活动上描述所需的约束,降低了单一约束描述的繁杂程度.为了能够使用现有调度算法进行任务调度,讨论了约束转换的问题,给出了高层约束到底层约束的转换规则和相应的转换算法.