The Library
Automated timing analysis of real-time programs
Tools
Ferreira, W., Hill, M. R. and Joseph, Mathai (1994) Automated timing analysis of real-time programs. Software engineering journal, 9 (5). pp. 221-227. ISSN 0268-6961.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
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 these can be statically assigned to any processor. Each process is assumed to have a simple, non-terminating cyclic structure, as is often the case in real-time control systems. ReStat uses a method of static analysis which establishes the timing properties of a real-time program by examining finite execution segments. The analysis is based on the syntactic structure of the program and can be efficiently implemented. The paper provides an overview of an experimental version of the tool and illustrates its use as a design aid by way of examples.
Item Type: | Journal Article | ||||
---|---|---|---|---|---|
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 | ||||
Journal or Publication Title: | Software engineering journal | ||||
Publisher: | IEE | ||||
ISSN: | 0268-6961 | ||||
Official Date: | 1994 | ||||
Dates: |
|
||||
Volume: | 9 | ||||
Number: | 5 | ||||
Number of Pages: | 7 | ||||
Page Range: | pp. 221-227 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Version or Related Resource: | Ferreira, W., Hill, M.R. and Joseph, M. (1992). Automated timing analysis of real-time programs. University of Warwick. Department of Computer Science. (Department of Computer Science research report, 230). | ||||
Related URLs: |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |