Access the full text.
Sign up today, get DeepDyve free for 14 days.
Wcet benchmarks Available from http://www.c-lab
Christopher Healy, Mikael Sjödin, V. Rustagi, D. Whalley, Robert Engelen (2000)
Supporting Timing Analysis by Automatic Bounding of Loop IterationsReal-Time Systems, 18
Christopher Healy, D. Whalley, M. Harmon (1995)
Integrating the timing analysis of pipelining and instruction cachingProceedings 16th IEEE Real-Time Systems Symposium
J. Staschulat, R. Ernst (2004)
Multiple process execution in cache related preemption delay analysis
Kaiyu Chen, S. Malik, David August (2001)
Retargetable static timing analysis for embedded softwareInternational Symposium on System Synthesis (IEEE Cat. No.01EX526)
(2000)
Watch: A framework for architectural-level power analysis and optimizations
R. White, Christopher Healy, D. Whalley, F. Mueller, M. Harmon (1997)
Timing analysis for data caches and set-associative cachesProceedings Third IEEE Real-Time Technology and Applications Symposium
(2005)
Received November ACM Transactions on Embedded Computing Systems
S. Unger, F. Mueller (2002)
Handling irreducible loops: optimized node splitting versus DJ-graphsACM Trans. Program. Lang. Syst., 24
Article 25, Publication date: December 2010
F. Gruian (2001)
Hard real-time scheduling for low-energy using stochastic data and DVS processorsISLPED'01: Proceedings of the 2001 International Symposium on Low Power Electronics and Design (IEEE Cat. No.01TH8581)
M. Weiser, B. Welch, A. Demers, S. Shenker (1994)
Scheduling for reduced CPU energy
C. Park (1993)
Predicting program execution times by analyzing static and dynamic program pathsReal-Time Systems, 5
C. Ferdinand, R. Wilhelm (1999)
Efficient and Precise Cache Behavior Prediction for Real-Time SystemsReal-Time Systems, 17
Yau-Tsun Li, S. Malik, A. Wolfe (1996)
Cache modeling for real-time software: beyond direct mapped instruction caches17th IEEE Real-Time Systems Symposium
Yanbin Liu, A. Mok (2003)
An integrated approach for applying dynamic voltage scaling to hard real-time systemsThe 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings.
A. Hergenhan, W. Rosenstiel (2000)
Static timing analysis of embedded software on advanced processor architecturesProceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537)
Jakob Engblom (2002)
Processor Pipelines and Static Worst-Case Execution Time Analysis
Sibin Mohan, F. Mueller, William Hawkins, Michael Root, Christopher Healy, D. Whalley (2005)
ParaScale: exploiting parametric timing analysis for real-time schedulers and dynamic voltage scaling26th IEEE International Real-Time Systems Symposium (RTSS'05)
M. Harmon, T. Baker, D. Whalley (1992)
A retargetable technique for predicting execution time[1992] Proceedings Real-Time Systems Symposium
X. Vera, B. Lisper, Jingling Xue (2003)
Data caches in multitasking hard real-time systemsRTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003
G. Bernat, Antoine Colin, Stefan Petters (2002)
WCET analysis of probabilistic hard real-time systems23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002.
A. Aho, Ravi Sethi, J. Ullman (1986)
Compilers: Principles, Techniques, and Tools
K. Lundqvist, Göran Wall (1996)
Using Object-Oriented Methods in Ada 95 to Implement Linda
Susanna Byhlin, Andreas Ermedahl, J. Gustafsson, B. Lisper (2005)
Applying static WCET analysis to automotive communication software17th Euromicro Conference on Real-Time Systems (ECRTS'05)
R. White, F. Mueller, Christopher Healy, D. Whalley, M. Harmon (1999)
Timing Analysis for Data and Wrap-Around Fill CachesReal-Time Systems, 17
Nevine AbouGhazaleh, D. Mossé, B. Childers, R. Melhem, Matthew Craven (2003)
Collaborative operating system and compiler power management for real-time applicationsThe 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings.
Kinshuk Govil, E. Chan, H. Wasserman (1995)
Comparing algorithm for dynamic speed-setting of a low-power CPU
Emilio Vivancos, Christopher Healy, F. Mueller, D. Whalley (2001)
Parametric Timing Analysis
R. Arnold, F. Mueller, D. Whalley, M. Harmon (1994)
Bounding worst-case instruction cache performance1994 Proceedings Real-Time Systems Symposium
Cheol-Hoon Lee, K. Shin (2004)
On-line dynamic voltage scaling for hard real-time systems using the EDF algorithm25th IEEE International Real-Time Systems Symposium
Chang-Gun Lee, Joosun Hahn, Yangmin Seo, S. Min, Rhan Ha, Seongsoo Hong, C. Park, Minsuk Lee, Chong-Sang Kim (1996)
Enhanced analysis of cache-related preemption delay in fixed-priority preemptive schedulingProceedings Real-Time Systems Symposium
Jörn Schneider (2000)
Cache and pipeline sensitive fixed priority scheduling for preemptive real-time systemsProceedings 21st IEEE Real-Time Systems Symposium
D. Kang, S. Crago, Jinwoo Suh (2002)
A fast resource synthesis technique for energy-efficient real-time systems23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002.
Aravindh Anantaraman, K. Seth, Kaustubh Patil, E. Rotenberg, F. Mueller (2003)
Virtual simple architecture (VISA): exceeding the complexity limit in safe real-time systems30th Annual International Symposium on Computer Architecture, 2003. Proceedings.
S. Gheorghita, S. Stuijk, T. Basten, H. Corporaal (2005)
Automatic scenario detection for improved WCET estimationProceedings. 42nd Design Automation Conference, 2005.
Yifan Zhu, F. Mueller (2004)
Feedback EDF scheduling exploiting dynamic voltage scalingProceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004.
D. Burger, T. Austin, S. Bennett (1996)
Evaluating Future Microprocessors: the SimpleScalar Tool Set
S. Unger, F. Mueller (2001)
Handling Irreducible Loops: Optimized Node Splitting vs. DJ-Graphs
H. Ramaprasad, F. Mueller (2006)
Bounding Preemption Delay within Data Cache Reference Patterns for Real-Time Tasks12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06)
Daniel Moss, Hakan Aydin, B. Childers, R. Melhem (2000)
Compiler-assisted dynamic power-aware scheduling for real-time applications
Antoine Colin, I. Puaut (2000)
Worst Case Execution Time Analysis for a Processor with Branch PredictionReal-Time Systems, 18
(1997)
Reducing timing analysis complexity by partitioning control flow
P. Pillai, K. Shin (2001)
Real-time dynamic voltage scaling for low-power embedded operating systemsProceedings of the eighteenth ACM symposium on Operating systems principles
Fan Zhang, S. Chanson (2002)
Processor voltage scheduling for real-time tasks with non-preemptible sections23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002.
IU C.L.L, J. Layland (1989)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJ. ACM, 20
C. Berg (2006)
PLRU Cache Domino Effects, 4
Yifan Zhu, F. Mueller (2005)
Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling
Hakan Aydin, Pedro Mejía-Alvarez, D. Mossé, R. Melhem (2001)
Dynamic and aggressive scheduling techniques for power-aware real-time systemsProceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420)
Xiliang Zhong, Chengzhong Xu (2005)
Energy-aware modeling and scheduling of real-time tasks for dynamic voltage scaling26th IEEE International Real-Time Systems Symposium (RTSS'05)
R. Jejurikar, Cristiano Pereira, Rajesh Gupta (2004)
Leakage aware dynamic voltage scaling for real-time embedded systemsProceedings. 41st Design Automation Conference, 2004.
P. Puschner, C. Koza (1989)
Calculating the maximum execution time of real-time programsReal-Time Systems, 1
Nevine AbouGhazaleh, D. Mossé, B. Childers, R. Melhem (2003)
Toward the placement of power management points in real-time applications
F. Müller (2000)
Timing Analysis for Instruction CachesReal-Time Systems, 18
T. Pering, T. Burd, R. Brodersen (1998)
The simulation and evaluation of dynamic voltage scaling algorithmsProceedings. 1998 International Symposium on Low Power Electronics and Design (IEEE Cat. No.98TH8379)
Christopher Healy, R. Arnold, F. Mueller, D. Whalley, M. Harmon (1999)
Bounding Pipeline and Instruction Cache PerformanceIEEE Trans. Computers, 48
Aravindh Anantaraman, K. Seth, E. Rotenberg, F. Mueller (2004)
Enforcing safety of real-time schedules on contemporary processors using a virtual simple architecture (VISA)25th IEEE International Real-Time Systems Symposium
J. Wegener, F. Mueller (1998)
A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing ConstraintsReal-Time Systems, 21
R. Jejurikar, Rajesh Gupta (2005)
Dynamic slack reclamation with procrastination scheduling in real-time embedded systemsProceedings. 42nd Design Automation Conference, 2005.
(1995)
An Accurate Worst Case Timing Analysis for RISC ProcessorsIEEE Trans. Software Eng., 21
G. Bernat, A. Burns (2000)
An Approach to Symbolic Worst-Case Execution Time AnalysisIFAC Proceedings Volumes, 33
S. Thesing, J. Souyris, Reinhold Heckmann, F. Randimbivololona, Marc Langenbach, R. Wilhelm, C. Ferdinand (2003)
An abstract interpretation-based timing validation of hard real-time avionics software2003 International Conference on Dependable Systems and Networks, 2003. Proceedings.
T. Mitra, Abhik Roychoudhury (2002)
A Framework to Model Branch Prediction for WCET Analysis
Dongkun Shin, Jihong Kim, Seongsoo Lee (2001)
Intra-Task Voltage Scheduling for Low-Energy, Hard Real-Time ApplicationsIEEE Des. Test Comput., 18
Nevine AbouGhazaleh, B. Childers, D. Mossé, R. Melhem, Matthew Craven (2003)
Energy management for real-time embedded applications with compiler support
(2003)
Operating Systems for Low-Power
B. Lisper (2003)
Fully Automatic, Parametric Worst-Case Execution Time Analysis
K. Seth, Aravindh Anantaraman, F. Mueller, E. Rotenberg (2003)
FAST: frequency-aware static timing analysisRTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003
Saowanee Saewong, R. Rajkumar (2003)
Practical voltage-scaling for fixed-priority RT-systemsThe 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings.
Youngsoo Shin, Kiyoung Choi, T. Sakurai (2000)
Power optimization of real-time embedded systems on variable speed processorsIEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140)
Yann-Hang Lee, C. Krishna (2003)
Voltage-Clock Scaling for Low Energy Consumption in Fixed-Priority Real-Time SystemsReal-Time Systems, 24
Andreas Ermedahl, Jakob Engblom (2007)
Execution Time Analysis for Embedded Real-Time SystemsInternational Journal on Software Tools for Technology Transfer, 4
R. Chapman, A. Burns, A. Wellings (1996)
Combining static worst-case timing analysis and program proofReal-Time Systems, 11
Chang-Gun Lee, Joosun Hahn, Yangmin Seo, S. Min, Rhan Ha, Seongsoo Hong, C. Park, Minsuk Lee, Chong-Sang Kim (1998)
Analysis of cache-related preemption delay in fixed-priority preemptive scheduling17th IEEE Real-Time Systems Symposium
(2005)
Received December
D. Grunwald, P. Levis, K. Farkas, C. Morrey, M. Neufeld (2000)
Policies for dynamic clock scheduling
Christopher Healy, Mikael Sjödin, V. Rustagi, D. Whalley (1998)
Bounding loop iterations for timing analysisProceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245)
J. Staschulat, S. Schliecker, R. Ernst (2005)
Scheduling analysis of real-time systems with precise modeling of cache related preemption delay17th Euromicro Conference on Real-Time Systems (ECRTS'05)
S. Malik, M. Martonosi, Yau-Tsun Li (1997)
Static Timing Analysis Of Embedded SoftwareProceedings of the 34th Design Automation Conference
Parametric Timing Analysis and Its Application to Dynamic Voltage Scaling SIBIN MOHAN and FRANK MUELLER North Carolina State University MICHAEL ROOT, WILLIAM HAWKINS, and CHRISTOPHER HEALY Furman University DAVID WHALLEY Florida State University and EMILIO VIVANCOS Universidad Politecnica de Valencia Embedded systems with real-time constraints depend on a priori knowledge of worst-case execution times (WCETs) to determine if tasks meet deadlines. Static timing analysis derives bounds on WCETs but requires statically known loop bounds. This work removes the constraint on known loop bounds through parametric analysis expressing WCETs as functions. Tighter WCETs are dynamically discovered to exploit slack by dynamic voltage scaling (DVS) saving 60% to 82% energy over DVS-oblivious techniques and showing savings close to more costly dynamic-priority DVS algorithms. Overall, parametric analysis expands the class of real-time applications to programs with loopinvariant dynamic loop bounds while retaining tight WCET bounds. Categories and Subject Descriptors: D.4.1 [Operating Systems]: Process Management Scheduling; D.4.7 [Operating Systems]: Organization and Design Real-time systems and embedded systems This work was conducted at North Carolina State University and Florida State University; it was supported in part by NSF grants CCR-0208581, CCR-0310860, CCR-0312695, EIA-0072043, CCR-0208892, CCR-0312493 and CCR-0312531. Author s addresses: S. Mohan and
ACM Transactions on Embedded Computing Systems (TECS) – Association for Computing Machinery
Published: Dec 1, 2010
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.