ELISA Workshop Spring 2022 CFP Submission - Safety Monitors inside the Kernel


Naomi Washington <nwashington@...>
 

New submission to the ELISA Workshop Spring 2022 CFP. Please find below the details.



Email addressgpaoloni@...
Primary Speaker Information
Primary Speaker Full NameDaniel Bristot
Primary Speaker Job TitleSenior Principal SW Engineer
Primary Speaker CompanyRed Hat
Is there a co-speaker?Yes
Additional Speaker
Co­-Speaker Full NameGabriele Paoloni
Co­-Speaker Job TitleSenior Principal SW Engineer
Co­-Speaker CompanyRed Hat
Co-Speaker Emailgpaoloni@...
Submission Details
Type of SubmissionPresentation
Session Length60 minutes (includes 20 minutes for Q&A)
Topic Title / Idea Safety Monitors inside the Kernel
AbstractThe recently proposed "Runtime Verification Monitor" framework ([1]) has the capability of monitoring the Kernel Drivers / Subsystems to behave as expected and to protect them against interference from within the Kernel itself. The session will explain how the RVM framework works with a specific focus on the Watchdog Monitor that has been proposed in the patchset [1] and how it can support a functional safety claim
[1]: https://lore.kernel.org/lkml/a0c00c72bdb6fc183a67df3c8d913f990e2b522b.1644830251.git.bristot@.../T/itors inside the Kernel
Audience BackgroundNew to Safety
Experienced with Safety
New to Linux Kernel
Experienced with Linux Kernel
What timezone do you prefer to present in?Germany - CEST (+2)
Code of Conduct - I agree to abide by the Linux Foundation Code of Conduct.Yes