We consider a resource synthesis technique for realtime systems where dynamic voltage scaling is supported, the energy budget is limited, and the performance of the system depends on how resources and energy are used. We propose a resource synthesis technique that derives both the supply voltages and the resource allocation of the tasks in the system to maximize system performance. The resulting system satisfies real-time schedulability and energy requirements.
Dong-In Kang, Stephen P. Crago, Jinwoo Suh, Janice