1. Devel
  2. Topics

ELISA Workshop Fall 2021 CFP Submission - Enforce Properties During Kernel Development

Deb Giles <dgiles@...>
 

New submission to the ELISA Workshop Fall 2021 CFP. Please find below the details.

Email addresslukas.bulwahn@...
Primary Speaker Information
Primary Speaker Full NameLukas Bulwahn
Primary Speaker Job TitleChief Expert
Primary Speaker CompanyElektrobit Automotive GmbH
Is there a co-speaker?No
Submission Details
Type of SubmissionPlanning Discussion
Session Length30 minutes (includes 5 minutes for Q&A)
Topic Title / Idea Enforce Properties During Kernel Development
AbstractWhile there are stakeholders that clearly would like to enforce a certain property during the kernel development, one can observe that these stakeholders unfortunately just continue to hunt down violations of those properties in a delayed fashion with significant human effort, as it currently is difficult to enforce a property during kernel development so that the violation is not introduced in the first place.
We will discuss the needed technical steps and tools (development process monitors and safeguards) to enforce a property during kernel development. The goal of this session to agree on some first prototypes of tools we would like to build and deploy to enable stakeholders to enforce a property during kernel development.
Any critical participants needed for the discussion?Sudip
Audience BackgroundNew to Safety
New to Linux Kernel
What timezone do you prefer to present in?Germany - CET (+1)
Code of Conduct - I agree to abide by the ELISA Code of Conduct.Yes

1 - 1 of 1