RV and the deadline scheduler: how to verify your subsystem at runti... Gabriele Monaco & Juri Lelli
Linux Plumbers Conference · 41:53
Yuri (SCHEDDEADLINE maintainer) and Gabriela show how Linux in-kernel runtime verification can turn a scheduler mental model into timed/hybrid automata that run in kernel space, then used that to catch real deadline-s...