Loading…
Attending this event?
Back To Schedule
Friday, February 19 • 1:00pm - 1:25pm
Real-time Linux: what is next?

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

With the PREEMPT_RT mainlining, is the real-time Linux development ended? - No! It is the beginning of a new era. The low latency provided by the nowadays communication channels and the need for a software stack for AI/ML present on Linux is enabling a new class of cyber-physical systems that depends on real-time kernel. But, is the real-time kernel ready to be used in such scenarios? This presentation is a discussion about the current state of Real-time Linux. It will talk about the kind of determinism that is possible to obtain with Linux and the type of determinism that is still not possible to achieve. The main goal is to point to the next opportunities in the development that can enable Linux for a class of systems that requires more robust evidence of correctness, including the formal verification of the kernel and the mathematical analysis of the timing properties of the kernel.

Speakers
avatar for Daniel Bristot de Oliveira

Daniel Bristot de Oliveira

Principal Software Engineer, Red Hat
Daniel is a kernel engineer at Red Hat, working in the real-time kernel team. He is also a researcher in the Retis Lab at the Scuola Superiore Sant'Anna (Pisa - Italy). He works in the research and development of new real-time features and runtime formal verification methods for the... Read More →


Friday February 19, 2021 1:00pm - 1:25pm CET
Session Room 2
Feedback form isn't open yet.