Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations

DVS (dynamic voltage scaling) has been adopted as an effective technique for reducing energy consumption in mobile embedded systems. Since reducing CPU supply voltage affects maximum CPU frequency, several concerns (e.g. deadline missing) may arise when adopting DVS in systems that contain hard real-time constraints. Although several scheduling approaches have been developed to address voltage scaling in time-critical systems, inter-task relations, such as precedence and exclusion relations, have been neglected. This work presents a method for hard real-time systems scheduling with DVS considering precedence and exclusion relations. The proposed work adopts a formal model based on time Petri nets in order to find a feasible schedule using a pre-runtime approach that satisfies timing and energy constraints.

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

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

[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]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[5]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

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

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

[8]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[9]  Kang G. Shin,et al.  Real-time dynamic voltage scaling for low-power embedded operating systems , 2001, SOSP.

[10]  Antti Valmari,et al.  The State Explosion Problem , 1996, Petri Nets.

[11]  Marcelo Custódio,et al.  A Formal Modeling for Embedded Hard Real-Time Systems , 2006 .

[12]  Chi-Ying Tsui,et al.  Exploiting dynamic workload variation in low energy preemptive task scheduling , 2005, Design, Automation and Test in Europe.

[13]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

[14]  Paulo Romero Martins Maciel,et al.  A time Petri net-based approach for software synthesis considering overheads , 2005, 17th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'05).

[15]  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).

[16]  Fernando Vinícius Gonçalves Magro,et al.  DESENVOLVIMENTO DE UM PROTÓTIPO DE UM OXÍMETRO DE PULSO , 2008 .

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

[18]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .

[19]  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).

[20]  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..

[21]  Rajesh K. Gupta,et al.  Energy-aware task scheduling with task synchronization for embedded real-time systems , 2002, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

[23]  David Lorge Parnas,et al.  Priority Scheduling Versus Pre-Run-Time Scheduling , 1998 .

[24]  Israel Koren,et al.  Energy aware kernel for hard real-time systems , 2005, CASES '05.

[25]  Dongkun Shin,et al.  Power-aware scheduling of conditional task graphs in real-time multiprocessor systems , 2003, Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003. ISLPED '03..

[26]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[27]  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).