Voltage scheduling problem for dynamically variable voltage processors
ISLPED '98 Proceedings of the 1998 international symposium on Low power electronics and design
Priority Scheduling Versus Pre-Run-Time Scheduling
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
An energy efficient rate selection algorithm for voltage quantized dynamic voltage scaling
Proceedings of the 14th international symposium on Systems synthesis
A realistic variable voltage scheduling model for real-time applications
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Optimal voltage allocation techniques for dynamically variable voltage processors
Proceedings of the 40th annual Design Automation Conference
A scheduling model for reduced CPU energy
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
Visual assessment of a real-time system design: a case study on a CNC controller
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
Power-Aware Scheduling for Periodic Real-Time Tasks
IEEE Transactions on Computers
Energy Aware Non-Preemptive Scheduling for Hard Real-Time Systems
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
IEEE Transactions on Computers
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
ACM SIGSOFT Software Engineering Notes
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Proceedings of the 2009 ACM symposium on Applied Computing
Information Processing Letters
High performance dynamic voltage/frequency scaling algorithm for real-time dynamic load management
Journal of Systems and Software
Hi-index | 0.89 |
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.