阿尔蒂森，K。;Gössler，G。;J.西法基斯。 基于控制器综合范式的调度程序建模。 （英语） Zbl 1018.68006号 实时系统。 23，编号1-2，55-84（2002）. 概要：控制器综合范式为调度实时应用程序提供了一个通用框架。调度程序可以被视为应用程序的控制器；它们限制自己的行为，以便满足给定的调度要求。我们研究了一种基于控制器综合范式的建模方法。该方法允许通过应用简化可调度性分析的可组合性结果，以增量方式从其过程的定时模型中获得正确调度的系统。它包括通过应用调度要求定义的约束来连续限制要调度的系统。后者是可调度性需求的结合，表示流程的时间属性和有关资源管理的策略需求。该方法基于实时应用程序模型的时序分析，实现了调度理论和方法的统一视图。 引用于13文件 MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：实时系统建模;调度器设计;控制器综合;动态优先级;可组合性 软件：高超声速 PDF格式BibTeX公司 XML格式引用 \textit{K.Altisen}等人，《实时系统》。23，编号1--2，55-84（2002；Zbl 1018.68006） 全文： 内政部