Conveners
Kernel Dependability and Assurance MC
- Gabriele Paoloni
- Shuah Khan (The Linux Foundation)
Description
The Kernel Dependability and Assurance Microconference focuses on infrastructure to be able to assure software quality and that the Linux kernel is dependable in applications that require predictability and trust.
-
Gabriele Paoloni (Red Hat), Shuah Khan (The Linux Foundation)23/09/2021, 07:00
Introduction to the track and welcome speakers and audience.
Go to contribution page -
Daniel Bristot de Oliveira (REd Hat), Mr Gabriele Paoloni (Red Hat)23/09/2021, 07:10
Redundancy and diversity are a well recognized way to detect and control SW systematic failure. Runtime Verification Monitors provide a diverse redundancy mechanisms for critical components in the Kernel
Go to contribution page -
Rachel Sibley (Red Hat)23/09/2021, 07:45
This session will give an overview of Kernel CI and CKI projects, how to obtain code coverage figures, what are the current gaps and possible improvements in view of coverage and traceability requirements to be met in functional safety systems
Go to contribution page -
Carlos O'Donell (Red Hat), David Malcolm (Red Hat)23/09/2021, 08:20
I'm the author of GCC's static analysis pass, -fanalyzer. I've been experimenting with extending it to add kernel-specific diagnostics: detecting infoleaks and unsanitized syscalls at compile-time. I'd like to discuss these and other ideas for improving the test coverage of our kernel builds.
Go to contribution page -
Lukas Bulwahn, Sudip Mukherjee23/09/2021, 09:15
Security and safety engineering, as well as quality management, share a common goal: Avoiding or eliminating bugs and complete bug classes in software. Hence, these fields of engineering may share methods, tools, well-known best practices, and development efforts during the software development. However, these fields of engineering also have
Go to contribution page
different (partly competing) goals and priorities.... -
Bruce Benson (Red Hat), Priyanka Verma (Red Hat)23/09/2021, 09:50
Freedom From Interference (FFI) is a key claim that must be satisfied in functional safety systems supporting applications with mixed criticality: this session introduces cgroups and namespaces to have an open discussion on how they can contribute to FFI.
Go to contribution page -
Brendan Higgins (Google), Shuah Khan (The Linux Foundation)23/09/2021, 10:25
This session gives you a overview of Kselftest and KUnit frameworks, how to use them for unit, regression testing.
Go to contribution page -
Gabriele Paoloni (Red Hat), Shuah Khan (The Linux Foundation)23/09/2021, 10:55
Kernel Dependability & Assurance Wrapup
Go to contribution page -
Linux is now being used in applications that are going to require a high degree of trust that the kernel is going to behave as expected. Some of the key areas we’re seeing Linux now start to be used are in medical devices, civil infrastructure, caregiving robots, automotives, etc.
The kernel development is producing high-quality kernels, release by release, with an increasing speed of...
Go to contribution page -
Linux is now being used in applications that are going to require a high degree of trust that the kernel is going to behave as expected. Some of the key areas we’re seeing Linux now start to be used are in medical devices, civil infrastructure, caregiving robots, automotives, etc.
The kernel development is producing high-quality kernels, release by release, with an increasing speed of...
Go to contribution page
