Errata: Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks

Geoffrey Nelissen; José Fonseca; Gurulingesh Raravi; Vincent Nélis

Errata: Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks
Ref: CISTER-TR-170205 Publication Date: 2017

Errata: Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks

Ref: CISTER-TR-170205 Publication Date: 2017

Abstract:
In the paper "Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks" published in ECRTS 2015, a MILP formulation is provided to compute an upper-bound on the worst-case response time (WCRT) of one self-suspending task running concurrently with a set of higher priority non-self-suspending tasks. Section VI of that paper extends the MILP formulation to the case where the higher priority tasks are also self-suspending. This generalisation is incorrect. We present the problem and its solution in this technical report.

Authors: