Timing Analyzing for Systems with Task Execution Dependencies
Y. Lu, T. Nolte, I. Bate and C. Norstrom
This paper presents a novel approach to timing analysis of complex real-time systems containing data-driven tasks with intricate execution dependencies. Using a system model inspired by industrial control systems, we show how the execution time of tasks can be represented as a mathematical expression instead of a single numeric value. Next, based on this more detailed modeling, we introduce a concrete process of formally obtaining the exact value of both Worst-Case Execution-Time (WCET) and Worst-Case Response-Time (WCRT) of tasks by using upper part binary search and TIMES (a timed model checker). Finally, in order to show the potential of the proposed approach, we apply it to a model created from a real robotic control system for which the traditional way of obtaining a WCET estimate (through static WCET analysis) on tasks for usage in basic RTA, is improper. Our results indicate a significant reduction of pessimism when compared to basic RTA using WCET estimates on tasks given by a basic assumption.
BibTex Entry
@inproceedings{Lu2010,
author = {Y. Lu and T. Nolte and I. Bate and C. Norstrom},
booktitle = {34th Annual IEEE Computer Software and Applications Conference (COMPSAC 2010)},
title = {Timing Analyzing for Systems with Task Execution Dependencies},
year = {2010}
}