Login
HomePublicationsJournal Paper

Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling
Ref: CISTER-TR-180809       Publication Date: Jan 2019

Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling

Ref: CISTER-TR-180809       Publication Date: Jan 2019

Abstract:
In this correspondence letter, we document and correct a flaw in the reduction-based analysis for real-time scheduling with arbitrary processor affinities (APA). To provide further confidence, the corrected claims have been formalized and machine-checked using the Coq proof assistant.

Authors:
Felipe Cerqueira
,
Björn B. Brandenburg
,
Geoffrey Nelissen


Published in Real-Time Systems, Springer, Volume 55, Issue 1, pp 136-143.

DOI:10.1007/s11241-018-9315-x.
ISSN: 1573-1383.



Record Date: 29, Aug, 2018