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

Cerqueira, Felipe; Brandenburg, Björn B.; Nelissen, Geoffrey

http://hdl.handle.net/10400.22/12447

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
ART_CISTER_2018.pdf		783.41 KB	Adobe PDF	Download

Send Feedback

Authors

Cerqueira, Felipe

Brandenburg, Björn B.

Nelissen, Geoffrey

Abstract(s)

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.