The Library
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)
|
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 |
