Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling
Ref: CISTER-TR-180809 Publication Date: 6, Aug, 2018
Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling
Ref: CISTER-TR-180809 Publication Date: 6, Aug, 2018Abstract:
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, pp 1-8.
DOI:10.1007/s11241-018-9315-x.
ISSN: 1573-1383.
Record Date: 29, Aug, 2018
Short links for this page: www.cister.isep.ipp.pt/docs/10.1007/s11241-018-9315-x www.cister.isep.ipp.pt/docs/CISTER-TR-180809 www.cister.isep.ipp.pt/docs/1402