Automated timing analysis of real-time programs
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-6961Full text not available from this repository.
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 > Computer Science|
|Library of Congress Subject Headings (LCSH):||Real-time programming, Computer scheduling|
|Journal or Publication Title:||Software engineering journal|
|Number of Pages:||7|
|Page Range:||pp. 221-227|
|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).|
Actions (login required)