In this paper, a novel approach to timing analysis of complex real-time systems with intricate execution dependencies between tasks, such as asynchronous message-passing and globally shared state variables, is presented. By applying the method to a model taken from a real robotic control system, we show the benefit, in terms of reduced pessimism, when compared to a combination of standard static WCET analysis and Response-Time Analysis.

BibTex Entry

@inproceedings{Lu2010a,
 author = {Y. Lu and T. Nolte and I. Bate and C. Norstrom},
 booktitle = {The 25th ACM Symposium on Applied Computing (SAC2010)},
 pages = {357-358},
 title = {Timing Analyzing for Systems with Execution Dependencies between Tasks},
 year = {2010}
}