research-article

The worst-case execution-time problem—overview of methods and survey of tools

Authors:

Reinhard Wilhelm,

Andreas Ermedahl,

Stephan Thesing,

Guillem Bernat,

Christian Ferdinand,

Reinhold Heckmann,

Isabelle Puaut,

Peter Puschner,

Jan Staschulat,

Per StenströmAuthors Info & Claims

ACM Transactions on Embedded Computing Systems (TECS), Volume 7, Issue 3

Article No.: 36, Pages 1 - 53

https://doi.org/10.1145/1347375.1347389

Published: 08 May 2008 Publication History

Abstract

The determination of upper bounds on execution times, commonly called worst-case execution times (WCETs), is a necessary step in the development and validation process for hard real-time systems. This problem is hard if the underlying processor architecture has components, such as caches, pipelines, branch prediction, and other speculative components. This article describes different approaches to this problem and surveys several commercially available tools¹ and research prototypes.

References

[1]

Anantaraman, A., Seth, K., Patil, K., Rotenberg, E., and Mueller, F. 2003. Virtual simple architecture (VISA): Exceeding the complexity limit in safe real-time systems. In International Symposium on Computer Architecture. 250--261.

Digital Library

[2]

Anantaraman, A., Seth, K., Patil, K., Rotenberg, E., and Mueller, F. 2004. Enforcing safety of real-time schedules on contemporary processors using a virtual simple architecture (VISA). In Proceedings of the IEEE Real-Time Systems Symposium. 114--125.

Digital Library

[3]

Arnold, R., Mueller, F., Whalley, D., and Harmon, M. 1994. Bounding worst-case instruction cache performance. In Proceedings of the IEEE Real-Time Systems Symposium. Puerto Rico. 172--181.

[4]

Atanassov, P., Haberl, S., and Puschner, P. 1999. Heuristic worst-case execution time analysis. In Proceedings of the 10th European Workshop on Dependable Computing. Austrian Computer Society (OCG). 109--114.

[5]

Austin, T., Larson, E., and Ernst, D. 2002. SimpleScalar: An infrastructure for computer system modeling. IEEE Comput. 35, 2.

Digital Library

[6]

Berkelaar, M. 1997. lp solve: A mixed integer linear program solver. Tech. Rept. Eindhoven University of Technology.

[7]

Bernat, G., Colin, A., and Petters, S. M. 2002. WCET analysis of probabilistic hard real--time systems. In Proceedings of the 23rd Real-Time Systems Symposium RTSS 2002. Austin, Texas. 279--288.

Digital Library

[8]

Bernat, G., Newby, M., and Burns, A. 2005. Probabilistic timing analysis: An approach using copulas. J. Embedded Comput. 1, 2, 179--194.

Digital Library

[9]

Byhlin, S., Ermedahl, A., Gustafsson, J., and Lisper, B. 2005. Applying static WCET analysis to automotive communication software. In Proceedings of the 17th Euromicro Conference of Real-Time Systems, (ECRTS'05). 249--258.

Digital Library

[10]

Carlsson, M., Engblom, J., Ermedahl, A., Lindblad, J., and Lisper, B. 2002. Worst-case execution time analysis of disable interrupt regions in a commercial real-time operating system. In Proceedings of the 2nd International Workshop on Real-Time Tools (RT-TOOLS'2002).

[11]

Chvatal, V. 1983. Linear Programming, Freeman, San Francisco, CA.

[12]

Clarke, E. M., Grumberg, O., and Peled, D. A. 1999. Model Checking. MIT Press, Cambridge, MA.

Digital Library

[13]

Colin, A. and Bernat, G. 2002. Scope-tree: A program representation for symbolic worst-case execution time analysis. In Proceedings of the 14th Euromicro Conference of Real-Time Systems, (ECRTS'02). 50--59.

Digital Library

[14]

Colin, A. and Puaut, I. 2000. Worst case execution time analysis for a processor with branch prediction. J. Real-Time Syst. 18, 2--3 (May), 249--274.

Digital Library

[15]

Colin, A. and Puaut, I. 2001a. A modular and retargetable framework for tree-based WCET analysis. In Proceedings of the 13th Euromicro Conference on Real-Time Systems. Delft, The Netherlands. 37--44.

Digital Library

[16]

Colin, A. and Puaut, I. 2001b. Worst-case execution time analysis of the RTEMS real-time operating system. In Proceedings of the 13th Euromicro Conference on Real-Time Systems. Delft, The Netherlands. 191--198.

Digital Library

[17]

Cousot, P. and Cousot, R. 1977. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages. Los Angeles, CA. 238--252.

Digital Library

[18]

Desikan, R., Burger, D., and Keckler, S. 2001. Measuring experimental error in microprocessor simulation. In Proceedings of the 28th International Symposium on Computer Architecture (ISCA 2001). ACM Press, New York.

Digital Library

[19]

Engblom, J. 2002. Processor pipelines and static worst-case execution time analysis. Ph.D. thesis, Uppsala University, Dept. of Information Technology, Box 337, Uppsala, Sweden.

[20]

Eriksson, O. 2005. Evaluation of static time analysis for CC systems. M.S. thesis, Mälardalen University, Västerås, Sweden.

[21]

Ermedahl, A. 2003. A modular tool architecture for worst-case execution time analysis. Ph.D. thesis, Uppsala University, Dept. of Information Technology, Box 325, Uppsala, Sweden. ISBN 91-554-5671-5.

[22]

Ermedahl, A., Stappert, F., and Engblom, J. 2005. Clustered worst-case execution-time calculation. IEEE Trans. Comput. 54, 9 (9).

Digital Library

[23]

Ferdinand, C. and Wilhelm, R. 1999. Fast and efficient cache behavior prediction for real-time systems. Real-Time Systems 17, 131--181.

Digital Library

[24]

Ferdinand, C., Martin, F., and Wilhelm, R. 1999. Cache behavior prediction by abstract interpretation. Sci. Comput. Programming 35, 163--189.

Digital Library

[25]

Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., and Wilhelm, R. 2001. Reliable and precise WCET determination for a real-life processor. In EMSOFT. LNCS, vol. 2211. 469--485.

Digital Library

[26]

Gansner, E. R. and North, S. C. 2000. An open graph visualization system and its applications to software engineering. Softw. Pract. Exp. 30, 11, 1203--1233.

Digital Library

[27]

Graham, R. L. 1966. Bounds for certain multiprocessing anomalies. Bell System Tech. J. 45, 1563--1581.

[28]

Gustafsson, J. 2000. Analyzing execution-time of object-oriented programs using abstract interpretation. Ph.D. thesis, Department of Computer Systems, Information Technology, Uppsala University.

[29]

Gustafsson, J., Lisper, B., Sandberg, C., and Bermudo, N. 2003. A tool for automatic flow analysis of C-programs for WCET calculation. In 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), Guadalajara, Mexico.

[30]

Gustafsson, J., Ermedahl, A., and Lisper, B. 2005. Towards a flow analysis for embedded system C programs. In Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005). Sedona.

Digital Library

[31]

Healy, C. and Whalley, D. 1999. Tighter timing predictions by automatic detection and exploitation of value-dependent constraints. In Proceedings of the 5th IEEE Real-Time Technology and Applications Symposium (RTAS'99). 79--88.

Digital Library

[32]

Healy, C. and Whalley, D. 2002. Automatic detection and exploitation of branch constraints for timing analysis. IEEE Trans. Softw. Eng. 763--781.

Digital Library

[33]

Healy, C., Whalley, D., and Harmon, M. 1995. Integrating the timing analysis of pipelining and instruction caching. In Proceedings of the IEEE Real-Time Systems Symposium. Pisa, Italy. 288--297.

Digital Library

[34]

Healy, C., Sjödin, M., Rustagi, V., and Whalley, D. 1998. Bounding loop iterations for timing analysis. In Proceedings of the 4th IEEE Real-Time Technology and Applications Symposium (RTAS'98).

Digital Library

[35]

Healy, C., Arnold, R., Müller, F., Whalley, D., and Harmon, M. 1999. Bounding pipeline and instruction cache performance. IEEE Trans. Comput. 48, 1 (Jan).

Digital Library

[36]

Healy, C., Sjodin, M., Rustagi, V., Whalley, D., and van Engelen, R. 2000. Supporting timing analysis by automatic bounding of loop iterations. J. Real-Time Syst. 121--148.

Digital Library

[37]

Heckmann, R., Langenbach, M., Thesing, S., and Wilhelm, R. 2003. The influence of processor architecture on the design and the results of WCET tools. IEEE Proc. Real-Time Syst. 91, 7, 1038--1054.

[38]

Hofstee, P. 2005. Power efficient processor architecture and the cell processor. In 11th Symposium on High-Performance Computing Architecture (HPCA-11).

Digital Library

[39]

Holsti, N., Långbacka, T., and Saarinen, S. 2000a. Using a worst-case execution-time tool for real-time verification of the DEBIE software. In Proceedings of the DASIA 2000 Conference (Data Systems in Aerospace 2000, ESA SP-457).

[40]

Holsti, N., Långbacka, T., and Saarinen, S. 2000b. Worst-case execution-time analysis for digital signal processors. In Proceedings of the EUSIPCO 2000 Conference (X European Signal Processing Conference).

[41]

Jayaseelan, R., Mitra, T., and Li, X. 2006. Estimating the worst-case energy consumption of embedded software. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

Digital Library

[42]

Kirner, R. 2002. The programming language wcetC. Tech. rept. Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria.

[43]

Kirner, R. 2003. Extending optimising compilation to support worst-case execution time analysis. Ph.D. thesis, Technische Universität Wien, Vienna, Austria.

[44]

Kirner, R. and Puschner, P. 2003. Transformation of meta-information by abstract co-interpretation. In Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems. Vienna, Austria. 298--312.

[45]

Kirner, R., Lang, R., Freiberger, G., and Puschner, P. 2002. Fully automatic worst-case execution time analysis for matlab/simulink models. In Proceedings of the 14th Euromicro International Conference on Real-Time Systems. 31--40.

Digital Library

[46]

Krewell, K. 2005. IBM speeds Xbox 360 to market. Microprocessor Report.

[47]

Langenbach, M., Thesing, S., and Heckmann, R. 2002. Pipeline modelling for timing analysis. In Static Analysis Symposium SAS 2002, M. V. Hermenegildo and G. Puebla, Eds. Lecture Notes in Computer Science, vol. 2477. Springer-Verlag, New York. 294--309.

Digital Library

[48]

Li, X. 2005. Microarchitecture modeling for timing analysis of embedded software. Ph.D. thesis, School of Computing, National University of Singapore.

[49]

Li, X., Mitra, T., and Roychoudhury, A. 2003. Accurate timing analysis by modeling caches, speculation and their interaction. In ACM Design Auto. Conf. (DAC).

Digital Library

[50]

Li, Y.-T. S. and Malik, S. 1995. Performance analysis of embedded software using implicit path enumeration. In Proceedings of the 32:nd Design Automation Conference. 456--461.

Digital Library

[51]

Li, Y.-T. S., Malik, S., and Wolfe, A. 1995a. Efficient microarchitecture modeling and path analysis for real-time software. In Proceedings of the IEEE Real-Time Systems Symposium. 298--307.

Digital Library

[52]

Li, Y.-T. S., Malik, S., and Wolfe, A. 1995b. Performance estimation of embedded software with instruction cache modeling. In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design. 380--387.

Digital Library

[53]

Li, Y.-T. S., Malik, S., and Wolfe, A. 1999. Performance estimation of embedded software with instruction cache modeling. ACM Trans. Design Auto. Electronic Syst. 4, 3.

Digital Library

[54]

Li, X., Roychoudhury, A., and Mitra, T. 2004. Modeling out-of-order processors for software timing analysis. In IEEE Real-Time Systems Symposium (RTSS).

Digital Library

[55]

Li, X., Mitra, T., and Roychoudhury, A. 2005. Modeling control speculation for timing analysis. J. Real-Time Syst. 29, 1.

Digital Library

[56]

Lim, S.-S., Bae, Y. H., Jang, G. T., Rhee, B.-D., Min, S. L., Park, C. Y., Shin, H., Park, K., Moon, S.-M., and Kim, C. S. 1995. An accurate worst case timing analysis for RISC processors. IEEE Trans. Softw. Eng. 21, 7, 593--604.

Digital Library

[57]

Lundqvist, T. 2002. A WCET analysis method for pipelined microprocessors with cache memories. Ph.D. thesis, Dept. of Computer Engineering, Chalmers University of Technology, Sweden.

[58]

Lundqvist, T. and Stenström, P. 1999a. A method to improve the estimated worst-case performance of data caching. In Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99). 255--262.

Digital Library

[59]

Lundqvist, T. and Stenström, P. 1999b. An integrated path and timing analysis method based on cycle-level symbolic execution. Real-Time Syst. 17, 2/3 (Nov.).

Digital Library

[60]

Lundqvist, T. and Stenström, P. 1999c. Timing anomalies in dynamically scheduled microprocessors. In Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS'99). 12--21.

Digital Library

[61]

Mitra, T., Roychoudhury, A., and Li, X. 2002. Timing analysis of embedded software for speculative processors. In ACM SIGDA International Symposium on System Synthesis (ISSS).

Digital Library

[62]

Mohan, S., Mueller, F., Whalley, D., and Healy, C. 2005. Timing analysis for sensor network nodes of the atmega processor family. Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium. 405--414.

Digital Library

[63]

Mueller, F. 2000. Timing analysis for instruction caches. J. Real-Time Syst. 18, 2 (May), 217--247.

Digital Library

[64]

Nielson, F., Nielson, H. R., and Hankin, C. 1999. Principles of Program Analysis. Springer-Verlag, Heidelberg.

Digital Library

[65]

Olukotun, K. and Hammond, L. 2005. The future of microprocessors. ACM Queue.

Digital Library

[66]

Puaut, I. and Decotigny, D. 2002. Low-complexity algorithms for static cache locking in multitasking hard real-time systems. In Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS02), Austin, Texas. 114--123.

Digital Library

[67]

Pugh, W. 1991. The omega test: A fast and practical integer programming algorithm for dependence analysis. In Supercomputing '91: Proceedings of the 1991 ACM/IEEE conference on Supercomputing. ACM Press, New York. 4--13.

Digital Library

[68]

Puschner, P. 2005. Experiments with WCET-oriented programming and the single-path architecture. In Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. 205--210.

Digital Library

[69]

Puschner, P. and Schedl, A. 1997. Computing maximum task execution times—A graph-based approach. J. Real-Time Syst. 13, 1 (Jul.), 67--91.

Digital Library

[70]

Puschner, P. and Nossal, R. 1998. Testing the results of static worst-case execution-time analysis. In Proceedings of the 19th IEEE Real-Time Systems Symposium. 134--143.

Digital Library

[71]

Puschner, P. P. and Schedl, A. V. 1995. Computing maximum task execution times with linear programming techniques. Tech. rept. Technische Universität Wien, Institut für Technische Informatik. Apr.

[72]

Ramaprasad, H. and Mueller, F. 2005. Bounding worst-case data cache behavior by analytically deriving cache reference patterns. In Proceedings of the IEEE Real-Time Embedded Technology and Applications Symposium. 148--157.

Digital Library

[73]

Reineke, J., Thesing, S., Wachter, B., Wilhelm, R., Becker, B., Eisinger, J., and Polian, I. 2006. On the notion of timing anaomaly. forthcoming.

[74]

Sandell, D., Ermedahl, A., Gustafsson, J., and Lisper, B. 2004. Static timing analysis of real-time operating system code. In Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04).

Digital Library

[75]

Sehlberg, D. 2005. Static WCET analysis of task-oriented code for construction vehicles. M.S. thesis, Mälardalen University, Västerås, Sweden.

[76]

Seth, K., Anantaraman, A., Mueller, F., and Rotenberg, E. 2003. FAST: Frequency-aware static timing analysis. In Proceedings of the IEEE Real-Time Systems Symposium. 40--51.

Digital Library

[77]

Shaw, A. C. 1989. Reasoning about time in higher-level language software. IEEE Trans. Softw. Eng. 15, 7, 875--889.

Digital Library

[78]

Souyris, J., le Pavec, E., Himbert, G., Jégu, V., Borios, G., and Heckmann, R. 2005. Computing the WCET of an avionics program by abstract interpretation. In WCET 2005. 15--18.

[79]

Stappert, F. and Altenbernd, P. 2000. Complete worst-case execution time analysis of straight-line hard real-time programs. J. Syst. Architecture 46, 4, 339--355.

Digital Library

[80]

Stappert, F., Ermedahl, A., and Engblom, J. 2001. Efficient longest executable path search for programs with complex flows and pipeline effects. In Proceedings of the 4th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, (CASES'01).

Digital Library

[81]

Staschulat, J. and Ernst, R. 2004. Multiple process execution in cache related preemption delay analysis. In EMSOFT. Pisa, Italy.

Digital Library

[82]

Staschulat, J. and Ernst, R. 2006. Worst case timing analysis of input dependent data cache behavior. In ECRTS. Dresden, Germany.

Digital Library

[83]

Staschulat, J., Schliecker, S., and Ernst, R. 2005. Scheduling analysis of real-time systems with precise modeling of cache related preemption delay. In ECRTS. Palma de Mallorca, Spain.

Digital Library

[84]

Theiling, H. 2002a. Control flow graphs for real-time systems analysis. Ph.D. thesis, Universität des Saarlandes, Saarbrücken, Germany.

[85]

Theiling, H. 2002b. ILP-based interprocedural path analysis. In Embedded Software (EMSOFT). Lecture Notes in Computer Science, vol. 2491. Springer, New York. 349--363.

Digital Library

[86]

Theiling, H., Ferdinand, C., and Wilhelm, R. 2000. Fast and precise WCET prediction by separated cache and path analyses. Real-Time Syst. 18, 2/3 (May), 157--179.

Digital Library

[87]

Thesing, S. 2004. Safe and precise WCET determination by abstract interpretation of pipeline models. Ph.D. thesis, Saarland University.

[88]

Thesing, S., Souyris, J., Heckmann, R., Randimbivololona, F., Langenbach, M., Wilhelm, R., and Ferdinand, C. 2003. An abstract interpretation-based timing validation of hard real-time avionics software systems. In Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003). IEEE Computer Society, Los Alamitos, CA. 625--632.

[89]

Thiele, L. and Wilhelm, R. 2004. Design for timing predictability. Real-Time Syst. 28, 157--177.

Digital Library

[90]

Vivancos, E., Healy, C., Mueller, F., and Whalley, D. 2001. Parametric timing analysis. In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems. 88--93.

Digital Library

[91]

Wenzel, I., Rieder, B., Kirner, R., and Puschner, P. 2005a. Automatic timing model generation by CFG partitioning and model checking. In Proceedings of the Design, Automation and Test in Europe (DATE'05). Munich, Germany.

Digital Library

[92]

Wenzel, I., Rieder, B., Kirner, R., and Puschner, P. 2005b. Measurement-based worst-case execution time analysis. In Proceedings of the 3rd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05). Seatlle, Washington. 7--10.

Digital Library

[93]

White, R., Mueller, F., Healy, C., and Whalley, D. 1999. Timing analysis for data caches and wrap-around fill caches. Real-Time Syst. 209--233.

Digital Library

[94]

Wilhelm, R. 2004. Why AI + ILP is good for WCET, but MC is not, nor ILP alone. In VMCAI 2004. LNCS, vol. 2937. Springer, New York. 309--322.

[95]

Wilhelm, R. 2005. Determining bounds on execution times. In Handbook on Embedded Systems, R. Zurawski, Ed. CRC Press, Boca Raton, FL. 14--1, 14--23.

[96]

Wilhelm, R., Engblom, J., Thesing, S., and Whalley, D. 2003. Industrial requirements for WCET tools—Answers to the ARTIST questionnaire. In EUROMICRO Workshop on WCET (WCET 2003).

[97]

Wolf, F. 2002. Behavioral Intervals in Embedded Software. Kluwer Academic Publ., Norwel, MA.

Digital Library

[98]

Wolf, F., Ernst, R., and Ye, W. 2001. Path clustering in software timing analysis. IEEE Trans. VLSI Syst. 9, 6, 773--782.

Digital Library

[99]

Wolf, F., Kruse, J., and Ernst, R. 2002a. Timing and power measurement in static software analysis. In Microelectronics Journal, Special Issue on Design, Modeling and Simulation in Microelectronics and MEMS, vol. 6(2). 91--100.

[100]

Wolf, F., Staschulat, J., and Ernst, R. 2002b. Hybrid cache analysis in running time verification of embedded software. J. Design Autom. Embedded Syst. 7, 3, 271--295.

Digital Library

[101]

Ye, W. and Ernst, R. 1997. Embedded program timing analysis based on path clustering and architecture classificaton. In Proceedings of the IEEE International Conference on Computer-Aided Design (ICCAD '97), San Jose, CA. 598--604.

Digital Library

[102]

Zhang, Y. 2005. Evaluation of methods for dynamic time analysis for CC systems AB. M.S. thesis, Mälardalen University, Västerås, Sweden.

Cited By

Kumar VRanjbar BKumar A(2024)Motivating the Use of Machine-Learning for Improving Timing Behaviour of Embedded Mixed-Criticality Systems2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE58400.2024.10546654(1-2)Online publication date: 25-Mar-2024
https://doi.org/10.23919/DATE58400.2024.10546654
Benz TOttaviano ABalas RGarofalo ARestuccia FBiondi ABenini L(2024)AXI-REALM: A Lightweight and Modular Interconnect Extension for Traffic Regulation and Monitoring of Heterogeneous Real-Time SoCs2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE58400.2024.10546511(1-6)Online publication date: 25-Mar-2024
https://doi.org/10.23919/DATE58400.2024.10546511
Barbudo EGrandpierre TDokladalova E(2024)Latency-Accurate Models for Software Programmable Streaming Coarse-Grained Reconfigurable Hardware ArchitecturesProceedings of the 14th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies10.1145/3665283.3665296(133-134)Online publication date: 19-Jun-2024
https://dl.acm.org/doi/10.1145/3665283.3665296
Show More Cited By

Index Terms

The worst-case execution-time problem—overview of methods and survey of tools
1. Applied computing
  1. Computers in other domains
2. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems

Recommendations

The worst-case execution time tool challenge 2006

The first international worst-case execution time (WCET) Tool Challenge in 2006 used benchmark programs to evaluate academic and commercial WCET tools. It aimed to study the state-of-the-art in WCET analysis. The WCET Tool Challenge comprised two ...
The Worst Case Execution Time Tool Challenge 2006
ISOLA '06: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Worst Case Execution Time (WCET) analysis has a growing importance for real-time systems, to guarantee correct timing, and to be an aid in developing such systems. The WCET tools are currently making their way out to the market, and there are many ...
Loop-Based Instruction Prefetching to Reduce the Worst-Case Execution Time

Estimating and optimizing worst-case execution time (WCET) is critical for hard real-time systems to ensure that different tasks can meet their respective deadlines. Recent work has shown that simple prefetching techniques such as the Next-N-Line ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Embedded Computing Systems

ACM Transactions on Embedded Computing Systems Volume 7, Issue 3

April 2008

437 pages

ISSN:1539-9087

EISSN:1558-3465

DOI:10.1145/1347375

Issue’s Table of Contents

Copyright © 2008 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 08 May 2008

Accepted: 01 January 2007

Revised: 01 June 2006

Received: 01 February 2004

Published in TECS Volume 7, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1,398
Total Citations
View Citations
7,702
Total Downloads

Downloads (Last 12 months)372
Downloads (Last 6 weeks)65

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kumar VRanjbar BKumar A(2024)Motivating the Use of Machine-Learning for Improving Timing Behaviour of Embedded Mixed-Criticality Systems2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE58400.2024.10546654(1-2)Online publication date: 25-Mar-2024
https://doi.org/10.23919/DATE58400.2024.10546654
Benz TOttaviano ABalas RGarofalo ARestuccia FBiondi ABenini L(2024)AXI-REALM: A Lightweight and Modular Interconnect Extension for Traffic Regulation and Monitoring of Heterogeneous Real-Time SoCs2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE58400.2024.10546511(1-6)Online publication date: 25-Mar-2024
https://doi.org/10.23919/DATE58400.2024.10546511
Barbudo EGrandpierre TDokladalova E(2024)Latency-Accurate Models for Software Programmable Streaming Coarse-Grained Reconfigurable Hardware ArchitecturesProceedings of the 14th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies10.1145/3665283.3665296(133-134)Online publication date: 19-Jun-2024
https://dl.acm.org/doi/10.1145/3665283.3665296
Pham LSaad FHoffmann J(2024)Robust Resource Bounds with Static Analysis and Bayesian InferenceProceedings of the ACM on Programming Languages10.1145/36563808:PLDI(76-101)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656380
Raffeck PMaier JWägemann PShrivastava ASui Y(2024)WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device StatesProceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems10.1145/3652032.3657569(83-94)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3652032.3657569
Walser SRuh JCraciunas S(2024)Real-time Container Orchestration Based on Time-utility Functions2024 IEEE 20th International Conference on Factory Communication Systems (WFCS)10.1109/WFCS60972.2024.10541041(1-8)Online publication date: 17-Apr-2024
https://doi.org/10.1109/WFCS60972.2024.10541041
Denzler PFrühwirth TLehr CAuffray J(2024)Time-Predictable Software-Based TSN-Enabled Network Stack for Mixed Criticality Traffic2024 IEEE 20th International Conference on Factory Communication Systems (WFCS)10.1109/WFCS60972.2024.10540916(1-8)Online publication date: 17-Apr-2024
https://doi.org/10.1109/WFCS60972.2024.10540916
Uddin MLin MYang L(2024)Dynamic Slack-Sharing Learning Technique With DVFS for Real-Time SystemsIEEE Transactions on Sustainable Computing10.1109/TSUSC.2023.32835189:3(261-270)Online publication date: May-2024
https://doi.org/10.1109/TSUSC.2023.3283518
Arnström DBroman DAxehill D(2024)Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive ControlIEEE Transactions on Automatic Control10.1109/TAC.2024.339552169:10(7190-7196)Online publication date: Oct-2024
https://doi.org/10.1109/TAC.2024.3395521
Doose DBouchebaba YGonzalez A(2024)Optimal Real-Time Task Allocation in Heteregeneous Multi-Core Embedded Systems2024 IEEE 30th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)10.1109/RTCSA62462.2024.00024(108-113)Online publication date: 21-Aug-2024
https://doi.org/10.1109/RTCSA62462.2024.00024
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents