实时系统可变工作量建模及计算方法

来源期刊：东北大学学报(自然科学版)2017年第2期

论文作者：黄迎春 邓庆绪

文章页码：190 - 194

关键词：可变工作量模型;实时系统;形式化方法;工作量曲线;最差情况下执行时间;

摘    要：传统实时系统性能分析以最差情况下执行时间（worst-case execution time,WCET）作为主要输入,导致分析过于保守.针对实时系统设计时预留冗余过大的问题,建立了以到达事件类型、数量和分布为决策变量,包括工作量曲线（workload curves）、逆工作量曲线（inverse workload curves）、工作量比率曲线（workload ratio curves）在内的实时系统可变工作量模型,给出了相关计算方法.基于可变工作量模型分析了其在混合调度中的应用,结果表明:采用可变工作量模型和算法可显著减少任务所需的执行工作量,降低了实时系统的资源需求.