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 2019Abstract:
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.
Felipe Cerqueira
Geoffrey NelissenDocument:
View
DownloadPublished 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
Short links for this page: www.cister-labs.pt/docs/10_1007_s11241_018_9315_x www.cister-labs.pt/docs/cister_tr_180809 www.cister-labs.pt/docs/1402