The worst-case execution-time problem—overview of methods and survey of tools-Reference-Cited by-同舟云学术

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

Published:2008-04 Issue:3 Volume:7 Page:1-53
ISSN:1539-9087
Container-title:ACM Transactions on Embedded Computing Systems
language:en
Short-container-title:ACM Trans. Embed. Comput. Syst.

Author:

Wilhelm Reinhard¹,Engblom Jakob²,Ermedahl Andreas³,Holsti Niklas⁴,Thesing Stephan¹,Whalley David⁵,Bernat Guillem⁶,Ferdinand Christian⁷,Heckmann Reinhold⁷,Mitra Tulika⁸,Mueller Frank⁹,Puaut Isabelle¹⁰,Puschner Peter¹¹,Staschulat Jan¹²,Stenström Per¹³

Affiliation:

1. Saarland University, Saarbrücken, Germany

2. Virtutech AB, Stockholm

3. Mälardalen University, Västerås, Sweden

4. Tidorum Ltd., Helsinki, Finland

5. Florida State University, Tallahassee, FL

6. Rapita Systems, Ltd.

7. AbsInt Angewandte Informatik

8. National University of Singapore

9. North Carolina State University

10. IRISA

11. Tu Vienna

12. TU Braunschweig

13. Chalmers University of Technology

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 1 and research prototypes.

Publisher

Association for Computing Machinery (ACM)

Subject

Hardware and Architecture,Software

Link

https://dl.acm.org/doi/pdf/10.1145/1347375.1347389

Reference91 articles.

1. Virtual simple architecture (VISA)

2. Enforcing Safety of Real-Time Schedules on Contemporary Processors Using a Virtual Simple Architecture (VISA)

3. SimpleScalar: an infrastructure for computer system modeling

Cited by 935 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. RTailor: Parameterizing Soft Error Resilience for Mixed-Criticality Real-Time Systems;2023 IEEE Real-Time Systems Symposium (RTSS);2023-12-05

2. Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis;2023 IEEE Real-Time Systems Symposium (RTSS);2023-12-05

3. On the impact of hardware-related events on the execution of real-time programs;Design Automation for Embedded Systems;2023-12

4. Pushing Performance Isolation Boundaries into Application with pBox;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23

5. Stochastic Analysis Involving the Computational Cost of a Monte-Carlo Simulation;Proceedings of the 6th International Symposium on Uncertainty Quantification and Stochastic Modelling;2023-10-22