Software Verification Research Centre School Of Information Technology The...  Home/Search
Context Related
| uq.edu.au/techreports/tr9742.ps.gz 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: uq.edu.au/techreports/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: s and compressed postscript files are available via http://svrc.it.uq.edu.au Timing Constraint Analysis Steve Grundon Ian Hayes Colin Fidge fsteve, ianh, cjfg@csee.uq.edu.au Abstract. Programs written for real-time applications must respect absolute deadlines and other `hard' real-time requirements. We present an analysis method for extracting the timing constraints imposed upon a program by source code timing directives. These timing constraints are generated in a simplified form... (Update)
Context of citations to this paper: More
...such path we need to determine a time constraint on the execution time of the path that guarantees that the deadline will be met. Grundon, Hayes Fidge (1998) have formalised the details of timing path analysis, but here we present a brief overview of the process for the...
.... which for each non dead path [4] leading to a deadline determines the timing constraint that guarantees that the deadline will be met [2]; and worst case execution time analysis, which checks that the worst case execution time of the code on each path meets its timing...
Cited by: More
Integration of Generic Program Analysis Tools - Into Software Development (Correct)
Reasoning about Real-Time Programs Using Idle-Invariant.. - Ian Hayes School (Correct)
The Deadline Command - Fidge, Hayes, Watson (1998) (Correct)
Active bibliography (related documents): More All
0.3: The Chance for Ada to Support Distribution and.. - Campos, Gutierrez.. (2004) (Correct)
0.3: Modeling and Schedulability Analysis of Hard.. - Medina.. (2002) (Correct)
0.0: FAST: Frequency-Aware Static Timing Analysis - Kiran Seth Aravindh (Correct)
Similar documents based on text: More All
0.3: Incremental Development of Real-Time Requirements: The Light.. - Smith, Fidge (2000) (Correct)
0.3: A Real-Time Refinement Calculus That Changes Only Time - Utting, Fidge (1996) (Correct)
0.3: A Formal Model of Real-Time Program Compilation - Lermer, Fidge (2000) (Correct)
Related documents from co-citation: More All
4: A real-time refinement calculus that changes only time - Utting, Fidge - 1996
4: Coercing real-time refinement: A transmitter - Hayes, Utting - 1997
4: A sequential real-time refinement calculus - Hayes, Utting - 1997
BibTeX entry: (Update)
S. Grundon, I. J. Hayes, and C. J. Fidge. Timing constraint analysis. In C. McDonald, editor, Computer Science '98: Proc. 21st Australasian Computer Science Conference, pages 575--586. Springer-Verlag, 1998. 39 http://citeseer.ist.psu.edu/grundon98timing.html More
@misc{ grundon98timing,
author = "S. Grundon and I. Hayes and C. Fidge",
title = "Timing constraint analysis",
text = "S. Grundon, I. J. Hayes, and C. J. Fidge. Timing constraint analysis. In
C. McDonald, editor, Computer Science '98: Proc. 21st Australasian Computer
Science Conference, pages 575--586. Springer-Verlag, 1998. 39",
year = "1998",
url = "citeseer.ist.psu.edu/grundon98timing.html" }
Citations (may not include all citations):652 A Discipline of Programming (context) - Dijkstra - 1976
223 Assigning meaning to programs (context) - Floyd - 1967
91 An accurate worst case timing analysis for RISC processors - Sung-Soo, Young et al. - 1995
20 Refinement calculus (context) - Back - 1993
13 Combining static worst-case timing analysis and program proo.. (context) - Chapman, Burns et al. - 1996
3 Ada 95 Reference Manual: Language and Standard Libraries (context) - Taft, Tucker - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (ftp://svrc.it.uq.edu.au/techreports/): More
An Empirical Study of Formal User-Interface Design - Hussey, al. (1997) (Correct)
The PRT User Manual - Version 1.03 - Carrington, Hayes, al. (1995) (Correct)
Software Visualisation in a Language Based Editor - Jones, Welsh (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