Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Automated timing analysis of real-time programs

Tools
- Tools
+ Tools

Ferreira, W., Hill, M. R. and Joseph, Mathai (1992) Automated timing analysis of real-time programs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

[img]
Preview
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-230.pdf - Other - Requires a PDF viewer.

Download (8Mb) | Preview

Request Changes to record.

Abstract

ReStat is an interactive software tool for statically analysing the timing properties of real-time programs. Given a distributed program, a description of an architecture and a scheduling discipline. ReStat can be used to determine whether the implementation of the program on the architecture will meet a set of timing deadlines. The program may consist of a number of communicating processes and one process or more may be assigned to any processor. Each process is assumed to have a simple, nonterminating,cyclic structure. ReStat uses a method of static analysis which establishes the timing properties of a real-time program by examining finite execution segments. The method is syntactic and can be efficiently implemented. This paper gives a outline formal specification of the present version of the tool and illustrates its use as a design aid by way of examples.

Item Type: Report
Subjects: Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions: Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH): Real-time programming, Computer scheduling
Series Name: Department of Computer Science research report
Publisher: University of Warwick. Department of Computer Science
Official Date: December 1992
Dates:
DateEvent
December 1992Completion
Number: Number 230
Number of Pages: 18
DOI: CS-RR-230
Institution: University of Warwick
Theses Department: Department of Computer Science
Status: Not Peer Reviewed
Publication Status: Unpublished
Reuse Statement (publisher, data, author rights): M.R.&nbsp;Hill and M.&nbsp;Joseph, &ldquo;Automated Timing Analysis of Real-Time Programs&rdquo;, <i>Software Engineering Journal</i>, pp.&nbsp;221-227 (1994)
Funder: Science and Engineering Research Council (Great Britain) (SERC)
Grant number: GR/F60021
Version or Related Resource: Ferreira, W., Hill, M.R. and Joseph, M. (1994). Automated timing analysis of real-time programs. Software engineering journal, 9(5). pp. 221-227.
Related URLs:
  • Organisation
  • Related item in WRAP

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us