Theoretical Computer Science
UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Model checking
Timed Automata with Asynchronous Processes: Schedulability and Decidability
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Discrete Applied Mathematics
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Parameter variations and impact on circuits and microarchitecture
Proceedings of the 40th annual Design Automation Conference
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Power-Aware Scheduling for Periodic Real-Time Tasks
IEEE Transactions on Computers
Temperature-aware microarchitecture: Modeling and implementation
ACM Transactions on Architecture and Code Optimization (TACO)
Leakage aware dynamic voltage scaling for real-time embedded systems
Proceedings of the 41st annual Design Automation Conference
Dynamic voltage scaling of periodic and aperiodic tasks in priority-driven systems
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Energy Aware Non-Preemptive Scheduling for Hard Real-Time Systems
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
Reactive Speed Control in Temperature-Constrained Real-Time Systems
ECRTS '06 Proceedings of the 18th Euromicro Conference on Real-Time Systems
System-wide energy minimization for real-time tasks: lower bound and approximation
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Thermal vs Energy Optimization for DVFS-Enabled Processors in Embedded Systems
ISQED '07 Proceedings of the 8th International Symposium on Quality Electronic Design
On the Minimization fo the Instantaneous Temperature for Periodic Real-Time Tasks
RTAS '07 Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium
ISLPED '07 Proceedings of the 2007 international symposium on Low power electronics and design
ALT-DVS: Dynamic Voltage Scaling with Awareness of Leakage and Temperature for Real-Time Systems
AHS '07 Proceedings of the Second NASA/ESA Conference on Adaptive Hardware and Systems
Energy-Efficient Scheduling for Real-Time Systems on Dynamic Voltage Scaling (DVS) Platforms
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Approximation algorithm for the temperature-aware scheduling problem
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
SACR: Scheduling-Aware Cache Reconfiguration for Real-Time Embedded Systems
VLSID '09 Proceedings of the 2009 22nd International Conference on VLSI Design
Temperature aware task sequencing and voltage scaling
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Multicore power management: ensuring robustness via early-stage formal verification
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Synchronized Generation of Directed Tests Using Satisfiability Solving
VLSID '10 Proceedings of the 2010 23rd International Conference on VLSI Design
VLSID '10 Proceedings of the 2010 23rd International Conference on VLSI Design
PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme
Proceedings of the 47th Design Automation Conference
CMOS VLSI Design: A Circuits and Systems Perspective
CMOS VLSI Design: A Circuits and Systems Perspective
Efficient decision ordering techniques for SAT-based test generation
Proceedings of the Conference on Design, Automation and Test in Europe
Reachability Analysis of Cost-Reward Timed Automata for Energy Efficiency Scheduling
Proceedings of Programming Models and Applications on Multicores and Manycores
| Hi-index | 0.00 |
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both power and thermal management during each level of system design. In this paper, we propose a formal technique based on model checking using extended timed automata to solve the processor frequency assignment problem in a temperature- and energy- constrained multitasking system. The state space explosion problem is alleviated by transforming and solving a Pseudo-Boolean satisfiability problem. Our approach is capable of finding efficient solutions under various constraints and applicable to other problem variants as well. Our method is independent of any system and task characteristics. Experimental results demonstrate the usefulness of our approach.