Explore the current state of RV (Runtime Verification) in a 45-minute conference talk presented at the Linux Plumbers Conference. Gain insights from Daniel Bristot de Oliveira as he delves into the latest developments, challenges, and future directions of Runtime Verification in the context of Linux systems. Learn about the importance of RV in ensuring system reliability and security, and discover how it impacts various levels of the Linux plumbing layer. This talk is ideal for developers, system administrators, and anyone interested in understanding the role of Runtime Verification in modern Linux environments.
Overview
Syllabus
RV: where are we? - Daniel Bristot de Oliveira
Taught by
Linux Plumbers Conference
Related Courses
-
RTLA OSNoise - What Is Missing?
-
Real-time Linux - What is Next?
-
A Maintainable, Scalable, and Verifiable SW Architectural Design Model for the Linux Kernel
-
RTLA - Real-time Linux Analysis Toolset
-
RTLA Timerlat - The Next Step in Scheduling Latency Analysis
-
Debugging Real-time Linux Scheduling Latency with rtla timerlat
