
The Library
Automated timing analysis of real-time programs
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)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-230.pdf - Other - Requires a PDF viewer. Download (8Mb) | Preview |
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: |
|
||||
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. Hill and M. Joseph, “Automated Timing Analysis of Real-Time Programs”, <i>Software Engineering Journal</i>, pp. 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: |
Request changes or add full text files to a record
Repository staff actions (login required)
![]() |
View Item |