Roderick Chapman  Home/Search
Context
Related
| cs.york.ac.uk/ftpdir/report...wcet.ps.Z cs.york.ac.uk/reports/wcet.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.york.ac.uk/ftpdir/reports/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report is submitted as a first year qualifying dissertation. The field of program timing analysis is surveyed in detail. The review includes details of relevant static analysis techniques, high-level program analysis, low-level timing analysis, and example languages and tools. Each of the techniques used in timing analysis is considered in detail, followed by a look at six contemporary tools --- the strengths and weaknesses of these are highlighted. From these conclusions, a plan for... (Update)
Active bibliography (related documents): More All
0.5: Integrated program proof and worst-case timing analysis.. - Chapman, Burns, Wellings (1994) (Correct)
0.5: Compilation Support for Fine-Grained Execution Time Analysis - Vrchoticky (1994) (Correct)
0.5: Graph Reduction in Hardware - North (1992) (Correct)
Similar documents based on text: More All
0.2: Industrial Strength Exception Freedom - Peter Amey Roderick (2002) (Correct)
0.1: WORST-CASE TIMING Analysis Via Finding Longest PATHS IN SPARK Ada .. - Chapman (1994) (Correct)
0.0: Network Working Group L. Slutsman, Editor Request for.. - Status Of This (Correct)
BibTeX entry: (Update)
@misc{ chapman-program,
author = "Roderick Chapman",
title = "Program Timing Analysis",
url = "citeseer.ist.psu.edu/chapman94program.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
1044 Maintaining Knowledge about Temporal Intervals (context) - Allen - 1983
480 The Program Dependence Graph and its use in Optimization (context) - Ferrante, Ottenstein et al. - 1987
239 Monitors: An Operating System Structuring Concept (context) - Hoare - 1974
186 The Program Dependence Graph in a Software Development Envir.. (context) - Ottenstein, Ottenstein - 1984
167 Calculating The Maximum Execution Time Of Real-Time Programs (context) - Puschner, Koza - 1989
131 Dynamic Program Slicing - Agrawal, Horgan - 1990
103 Experiments with a Program Timing Tool Based on Source-Level.. (context) - Park, Shaw - 1991
92 Reasoning about Time in Higher Level Language Software - Shaw - 1989
79 Scheduling periodic jobs that allow imprecise results (context) - Chung, Liu - 1990
57 Real-Time Euclid: a language for reliable real-time systems (context) - Kligerman, Stoyenko - 1986
55 A survey of data flow analysis techniques (context) - Kennedy - 1981
54 Evaluating Tight Execution Time Bounds of Programs by Annota.. (context) - Mok - 1989
51 The Programming Language Concurrent Pascal (context) - Brinch-Hansen - 1975
51 Scheduling Hard Real-Time Systems: A Review - Burns - 1991
44 Building Flexible Real-Time Systems Using the Flex Language (context) - Kenny, Lin - 1991
40 Cecil: a sequencing constraint language for automatic static.. (context) - Olender, Osterweil - 1990
37 Properties of data flow frameworks (context) - Marlowe, Ryder - 1990
28 Allocating Real-Time Tasks (An NP-Hard Problem Made Easy (context) - Tindell - 1987
27 Automated Correctness Proofs of Machine Code Programs for a .. - Boyer, Yu - 1991
25 Real-Time Concurrent C: A Language for Programming Dynamic R.. (context) - Gehani, Ramamritham - 1991
23 SMART (Strategic Memory Allocation for Real-Time) Cache Desi.. (context) - Kirk - 1989
20 Real Time Systems Scheduling - Audsley, Burns - 1990
20 nd edition (context) - Sedgewick, Algorithms - 1988
19 Analyzing Hard Real-Time Programs for Guaranteed Schedulabil.. (context) - Stoyenko, Hamacher et al. - 1991
14 Concurrent C - Gehani, Roome - 1986
12 Real-time Systems (context) - Kopetz - 1991
12 Cesar: A Static Sequencing Constraint Analyzer (context) - Olender, Osterweil - 1989
9 Data Flow Analysis and Global Optimization (context) - Morel - 1984
8 Resource Control for Hard Real-Time Systems: A Review - Audsley - 1991
8 SPARK: the SPADE Ada Kernel (context) - Carre, Jennings et al. - 1990
7 the Feasibility of Response Time Predictions - An Experiment.. - Puschner, Vrchoticky et al. - 1991
5 Towards a timing semantics for programming languages (context) - Shaw - 1991
5 FLEX: A Language for Programming Flexible Real-Time Systems (context) - Lin, Liu et al. - 1991
5 Graph Grammars and Global Program Data Flow Analysis (context) - Farrow, Kennedy et al. - 1975
3 A subset of Ada for formal verification (SPARK (context) - Carre, Jennings - 1989
3 Access-Right Expressions (context) - Kieburtz, Silberschatz - 1983
3 A Priori Execution Time Analysis for Parallel Processes (context) - Halang - 1989
3 Reference Manual for the Ada Programming Language ANSI/MIL-S.. (context) - DOD - 1983
3 Private communication (context) - Harmon - 1992
2 The Motorola MC68000 Microprocessor Family (context) - Harman, Lawson - 1985
2 The Implications of Program Dependences for Software Testing.. (context) - Podgurski, Clarke - 1989
2 Predicting Execution Time on Contemporary Computer Architect.. (context) - Harmon - 1991
1 Validation Techniques (context) - Carre - 1990
1 The Use of Ada for Safety Critical Applications: Appendix C:.. (context) - Holzapfel - 1987
1 Validation Techniques II (context) - Carre - 1990
1 Experiences with SPARK and its support tool, the SPARK Exami.. (context) - Carre, Garnsworthy - 1990
1 An Algebraic approach to the theory of programs, algorithms,.. (context) - Blikle, Mazurkiewicz - 1972
1 High Level Program Annotation Algebra (context) - Nicholson - 1991
1 Information-flow and data-flow analysis of whileprograms (context) - Carre, Bergeretti - 1985
1 NewSpeak: an unexceptional language (context) - Currie - 1986
1 Compiling Ada (context) - Heliard - 1984
1 SPIRITS Project Deliverable (context) - Burns, Nicholson et al. - 1991
1 Program Execution Time Analysis (context) - Burns, Nicholson et al. - 1991
1 A Performance Comparison of Three Contemporary 16-but Microp.. (context) - Prycker - 1983
1 The Use of Ada for Safety Critical Applications (Issue (context) - EuroFighter - 1988
1 Worst Case Execution Time Estimation for Two-Stage Pipelined.. (context) - Zhang, Burns - 1991
Documents on the same site (http://www.cs.york.ac.uk/ftpdir/reports/): More
TAM Technical Notes 1 and 2 - Scholefield (1993) (Correct)
Debugging Distributed Ada Programs - Briggs, Jamieson, Randall, Wand (1994) (Correct)
Structuring Architectural Topologies for Real-Time.. - Nicholson, Burns (1997) (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