See this document in CiteSeerX!

On the False Path Problem in Hard Real-Time Programs (1996)  (Make Corrections)  (47 citations)
Peter Altenbernd



  Home/Search   Context   Related

 
View or download:
unipaderborn.de/sfb376/p...Alt96.ps.gz
archi.snu.ac.kr/hjkim...Archi3paper.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  unipaderborn.de/s...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper addresses the important subject of estimating the worst-case execution time (WCET) of hard real-time programs essentially needed for further evaluation of realtime systems. Purely structure oriented methods, analysing the control flow of the program without taking into account functional dependencies, tend to overestimate the execution time. An exact solution of this NP-complete problem is impossible for larger applications. In this paper, we propose a new heuristic of finding an... (Update)

Cited by:   More
Facilitating Worst-Case Execution Times Analysis for.. - Engblom, Ermedahl.. (1998)   (Correct)
Approximation of the Worst-Case Execution Time Using.. - Corti, Gross (2004)   (Correct)
A Modular Tool Architecture for Worst-Case Execution Time Analysis - Ermedahl (2003)   (Correct)

Similar documents (at the sentence level):
37.9%:   Timing Analysis, Scheduling, and Allocation of Periodic Hard.. - Altenbernd (1996)   (Correct)

Active bibliography (related documents):   More   All
0.5:   Description of Timing Problems Using Petri Nets for.. - Altenbernd, Milczewski (1993)   (Correct)
0.4:   CHaRy: The C-LAB Hard Real-Time System to Support Mechatronical .. - Altenbernd (1997)   (Correct)
0.3:   Allocation Of Periodic Hard Real-Time Tasks - Altenbernd, Ditze (1995)   (Correct)

Similar documents based on text:   More   All
0.1:   Complete Worst-Case Execution Time Analysis of.. - Stappert, Altenbernd (1997)   (Correct)
0.1:   A Worst-Case Execution-Time Analysis Tool Prototype for.. - Engblom, Ermedahl (2001)   (Correct)
0.1:   The Worst Case Execution Time (WCET) Analysis Assignment - Ermedahl, Hansson (1997)   (Correct)

Related documents from co-citation:   More   All
25:   Deriving annotations for tight calculation of execution time - Ermedahl, Gustafsson - 1997
18:   An accurate worst case timing analysis for RISC processors - Lim, Bea et al. - 1994
17:   Predicting program execution times by analyzing static and dynamic program paths (context) - Park - 1993

BibTeX entry:   (Update)

P. Altenbernd. On the false path problem in hard real-time programs. In Proceedings of the 8th Euromicro Workshop on Real-Time Systems, pages 102--107, June 1996. http://citeseer.ist.psu.edu/altenbernd96false.html   More

@misc{ altenbernd96false,
  author = "P. Altenbernd",
  title = "the false path problem in hard real-time programs",
  text = "P. Altenbernd. On the false path problem in hard real-time programs. In
    Proceedings of the 8th Euromicro Workshop on Real-Time Systems, pages 102--107,
    June 1996.",
  year = "1996",
  url = "citeseer.ist.psu.edu/altenbernd96false.html" }
Citations (may not include all citations):
83   A Retargetable Technique for Predicting Execution Time of Co.. - Harmon, Baker et al. - 1994  ACM   DBLP
71   Performance Analysis of Embedded Software Using Implicit Pat.. - Li, Malik - 1995
54   Evaluating Tight Execution Time Bounds of Programs by Annota.. (context) - Mok - 1989  ACM
31   Adding Time-Offsets To Schedulability Analysis - Tindell - 1994
30   Integrating Functional and Temporal Domains in Logic Design (context) - McGeer, Brayton - 1991
22   Applying Compiler Techniques to Scheduling in Real-Time Syst.. - Gopinath, Gupta - 1990  DBLP
20   Predicting Deterministic Executions Times of Real-Time Progr.. (context) - Park - 1992
16   Static Timing Analysis and Program Proof (context) - Chapman - 1995
15   Efficient Algorithms for Solving the False Path Problem in T.. (context) - Benkoski, VandenMeersch et al. - 1987
13   Timing Variations in Dual Loop Benchmarks - Altman, Weideman - 1987
12   Efficient Algorithms for Extracting the K Most Critical Path.. (context) - Yen, Duand et al. - 1989  ACM   DBLP
11   Correlation Analysis Techniques for Refining Execution Time .. - Gupta, Gopinath - 1994
9   Deadline-Monotonic Software Scheduling for the Co-Synthesis .. - Altenbernd - 1995  ACM
6   Allocation of Periodic Hard Real-Time Tasks - Altenbernd, Ditze - 1995
4   DReaMS -- Concepts for a D (context) - Ditze - 1995
2   Solving the Path Sensitization Problem in Linear Time (context) - Altenbernd, Strathaus - 1992
2   Using the ETA System Multiprocessor Simulator to Prepare for.. (context) - Arnold - 1987
2   Techniques to Support the Use of Cache Memory in Hard Real-T.. (context) - Milligan, Cragon - 1995



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.uni-paderborn.de/sfb376/projects/b1/publications.html):   More
Systems Level Specification and Modelling of Reactive Systems.. - Glässer (1995)   (Correct)
A Step towards Operating System Synthesis - Ditze (1998)   (Correct)
WEB-supported Engineering of Computer-based Systems - Ditze, Kleinjohann.. (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC