Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore runtime verification (RV) techniques and real-time property validation in Linux kernel systems through this 22-minute conference talk from the Linux Plumbers Conference. Discover how RV integration with the deadline scheduler and timed automata provides practical methods for validating timing properties within the kernel environment. Learn about current models that ensure tasks are properly throttled when consuming runtime and meet their deadlines without violations. Examine the limitations of existing deadline scheduler models and consider broader applications for timing property validation across different schedulers and kernel subsystems. Investigate the challenges of timed automata's lack of concurrency support and evaluate whether alternative model types are necessary. Address the critical question of developing general validation approaches that remain robust across scheduler iterations and system updates.
