Model-driven software synthesis for hard real-time applications with energy constraints

Model-driven methods have been quite effective for reducing the intricacies of embedded software development, since they provide effective means for property verification as well as automatic code generation. Nevertheless, regarding energy-constrained hard real-time systems, few model-driven methods are available and, usually, most methods (model-driven or not) consider simplified system specifications, such as absence of intertask relations. This paper presents a model-driven method for software synthesis of hard real-time embedded applications with energy constraints. A formal model based on time Petri nets is adopted in order to provide a basis for pre-runtime schedule generation and property analysis/verification.

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

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

[3]  André C. Nácul,et al.  Synthesis of time-constrained multitasking embedded software , 2006, TODE.

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

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

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

[7]  Rajesh K. Gupta,et al.  Energy-aware task scheduling with task synchronization for embedded real-time systems , 2006, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

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

[9]  Gang Quan,et al.  Energy efficient DVS schedule for fixed-priority real-time systems , 2007, TECS.

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

[11]  Wang Yi,et al.  Code Synthesis for Timed Automata , 2003 .

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

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

[14]  Hejiao Huang,et al.  Property-preserving Composition by Place Merging , 2005, J. Circuits Syst. Comput..

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

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

[17]  Gang Quan,et al.  Transition-overhead-aware voltage scheduling for fixed-priority real-time systems , 2007, TODE.

[18]  Paulo Romero Martins Maciel,et al.  Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads , 2008, Microprocess. Microsystems.

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

[20]  Petru Eles,et al.  Overhead-conscious voltage selection for dynamic and leakage energy reduction of time-constrained systems , 2005 .

[21]  M. Kendall.  Elementary Statistics , 1945, Nature.

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

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

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

[25]  Sang Lyul Min,et al.  Preemption-aware dynamic voltage scaling in hard real-time systems , 2004, Proceedings of the 2004 International Symposium on Low Power Electronics and Design (IEEE Cat. No.04TH8758).

[26]  Paulo Romero Martins Maciel,et al.  Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations , 2008, Inf. Process. Lett..

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