File:ELC2013-Kobayashi.pdf

Deadline Miss Detection with SCHED_DEADLINE