Reasoning about deadlines in concurrent real-time programs

Peuker, S. and Hayes, I. J. (2003). Reasoning about deadlines in concurrent real-time programs. In: M. Charpentier and B. Sanders, Proceedings of the International Parallel and Distributed Processing Symposium 2003. International Parallel and Distributed Processing Symposium 2003, Nice, France, (1-8). 22-26 April 2003. doi:10.1109/IPDPS.2003.1213430


Author Peuker, S.
Hayes, I. J.
Title of paper Reasoning about deadlines in concurrent real-time programs
Conference name International Parallel and Distributed Processing Symposium 2003
Conference location Nice, France
Conference dates 22-26 April 2003
Proceedings title Proceedings of the International Parallel and Distributed Processing Symposium 2003
Journal name Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003
Place of Publication Los Alamitos, CA, U.S.A.
Publisher IEEE Computer Society
Publication Year 2003
Sub-type Fully published paper
DOI 10.1109/IPDPS.2003.1213430
Open Access Status
ISBN 0-7695-1926-1
ISSN 1530-2075
Editor M. Charpentier
B. Sanders
Volume 8
Start page 1
End page 8
Total pages 8
Language eng
Abstract/Summary We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machine-dependent task. The latter takes into account the execution times of the program on a particular machine. Therefore, our goal is to make the machine-dependent phase of the analysis as simple as possible. We succeed in the sense that the machine-dependent phase remains the same as in the analysis of sequential programs. We shift the complexity introduced by concurrency completely to the machine-independent phase.
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Keyword Computational complexity
Formal specification
Program verification
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Fri, 24 Aug 2007, 12:06:48 EST