Study on Energy-aware Scheduling Model for Fault Tolerance Real-time Systems

CHEN Ai,ZHOU Xue-hai,WANG Feng,LI Xi
DOI: https://doi.org/10.3969/j.issn.1000-1220.2007.11.029
2007-01-01
Abstract:To support the research on the energy-aware scheduling algorithm with fault tolerance for real-time tasks,an extended time Petri net model,FRTPN(Frequency Related Time Petri Net) is proposed.FRTPN introduces the frequency space and frequency related firing interval of the transition,which support the energy evaluation and dynamic voltage scaling technique for energy optimization of scheduling algorithms.This paper defines FRTPN with the inhibitor arcs for fault recovery.Moreover,formal semantics of FRTPN is presented and methods for energy evaluation and reachability analysis are given.The feasibility of the proposed approach is proved by the fault tolerance scheduling in real-time systems with checkpoint scheme.
What problem does this paper attempt to address?