Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations

Several scheduling approaches have been developed to address DVS in time-critical systems, however, overheads, precedence and exclusion relations have been neglected. This paper presents a pre-runtime scheduling method for hard real-time systems considering DVS, overheads as well as inter-task relations. The proposed method adopts a formal model based on time Petri nets in order to find a feasible schedule that satisfies timing and energy constraints.

[1]  Teera Phatrapornnant,et al.  Reducing jitter in embedded systems employing a time-triggered software architecture and dynamic voltage scaling , 2006, IEEE Transactions on Computers.

[2]  Paulo Romero Martins Maciel,et al.  Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems , 2006, SOEN.

[3]  Heonshik Shin,et al.  Visual assessment of a real-time system design: a case study on a CNC controller , 1996, 17th IEEE Real-Time Systems Symposium.

[4]  Gang Quan,et al.  A realistic variable voltage scheduling model for real-time applications , 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..

[5]  Petru Eles,et al.  Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy constraints , 2005, Proceedings. 42nd Design Automation Conference, 2005..

[6]  Rajesh Babu Prathipati.  Energy efficient scheduling techniques for real-time embedded systems , 2004 .

[7]  Lama H. Chandrasena,et al.  An energy efficient rate selection algorithm for voltage quantized dynamic voltage scaling , 2001, International Symposium on System Synthesis (IEEE Cat. No.01EX526).

[8]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[9]  Hiroto Yasuura,et al.  Voltage scheduling problem for dynamically variable voltage processors , 1998, Proceedings. 1998 International Symposium on Low Power Electronics and Design (IEEE Cat. No.98TH8379).

[10]  Paulo Romero Martins Maciel,et al.  Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations , 2007, 2007 IEEE International Conference on Systems, Man and Cybernetics.

[11]  Sudhakar M. Reddy,et al.  Workload-ahead-driven online energy minimization techniques for battery-powered embedded systems with time-constraints , 2007, TODE.

[12]  F. Frances Yao,et al.  A scheduling model for reduced CPU energy , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[13]  Rajesh K. Gupta,et al.  Energy aware non-preemptive scheduling for hard real-time systems , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[14]  Rami G. Melhem,et al.  Power-aware scheduling for periodic real-time tasks , 2004, IEEE Transactions on Computers.

[15]  Patrice Godefroid,et al.  Partial-Order Methods for the Verification of Concurrent Systems , 1996, Lecture Notes in Computer Science.

[16]  Taewhan Kim,et al.  Optimal voltage allocation techniques for dynamically variable voltage processors , 2003, DAC '03.

[17]  Jia Xu,et al.  On Inspection and Verification of Software with Timing Requirements , 2003, IEEE Trans. Software Eng..

[18]  David Lorge Parnas,et al.  Priority Scheduling Versus Pre-Run-Time Scheduling , 2004, Real-Time Systems.