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 959 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Adaptive gain design for Zero-Order Hold discrete-time implementation of explicit reference governor;Control Engineering Practice;2024-11

2. Toward Linux-based safety-critical systems—Execution time variability analysis of Linux system calls;Journal of Systems Architecture;2024-11

3. Predictable and optimized single-path code for predicated processors;Journal of Systems Architecture;2024-09

4. Robust Resource Bounds with Static Analysis and Bayesian Inference;Proceedings of the ACM on Programming Languages;2024-06-20

5. WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States;Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2024-06-20