实时任务可调度分析是保证实时系统正确性的重要手段之一。
这些假设的存在使得在实际系统中,理想算法可调度判定的准确性大大降低。
实验结果表明,提出的方法提高了判为可调度的任务集数量。
本文讨论几种典型任务集合的实现,并分别分析了它们的调度性验证算法和结论。
在单调速率调度策略的基础上,提出一种改进的任务集可调度性判定算法。
可适用于含有递归调用的实时CORBA任务集的可调度性分析和判定。
网络控制系统时延单调速率算法可调度性及多目标优化
长释放时间间隔优先调度算法及其可调度性分析
混合实时事务的延期单调速率调度算法及其可调度性分析
时间约束Petri网及其可调度性分析与验证
端到端实时CORBA系统调度模型及其可调度性研究
实时系统;可调度性浅析浅析;时序自动机;多核系统;
一种改进的分布强实时系统可调度性分析算法
改进的端到端实时CORBA调度模型可调度性分析算法