HomePublicationsPaper

Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks
Ref: CISTER-TR-150506       Publication Date: 7 to 10, Jul, 2015

Abstract:
Many real-time systems include tasks that need to suspend their execution in order to externalize some of their operations or to wait for data, events or shared resources. Although commonly encountered in real-world systems, study of their timing analysis is still limited due to the problem complexity. In this paper, we invalidate a claim made in one of the earlier works [1], that led to the common belief that the timing analysis of one self-suspending task interacting with non-self-suspending sporadic tasks is much easier than in the periodic case. This work highlights the complexity of the problem and presents a method to compute the exact worst-case response time (WCRT) of a self-suspending task with one suspension region. However, as the complexity of the analysis might rapidly grow with the number of tasks, we also define an optimization formulation to compute an upper-bound on the WCRT for tasks with multiple suspendion regions. In the experiments, our optimization framework outperforms all previous analysis techniques and often finds the exact WCRT.

Geoffrey Nelissen

,

José Fonseca

,

Gurulingesh Raravi

,

Vincent Nélis

Document:

View
PDF Download
PDF