面向能耗优化的容错实时系统任务调度模型研究

摘要：

为了支持面向能耗优化的容错实时任务调度算法研究,提出一种频率相关的时间Petri网-FRTPN.FRTPN引入用于动态电压调整的变迁频率设置空间以及和频率相关的静态引发时域,以支持调度算法的能耗评估及优化;同时它增加一类抑制弧刻画容错故障恢复过程.通过对基于检查点的容错实时能耗优化任务调度进行建模证明了FRTPN的有效性.

关键词：时间Petri网、实时系统、任务调度、能耗优化、容错

所属期刊栏目：28

分类号：TP301(计算技术、计算机技术)

资助基金：教育部高等学校博士学科点专项科研基金20050358040

在线出版日期：2007-12-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2056-2061