Red Hat Research Quarterly

Daniel Bristot de Oliveira

About the author

Daniel Bristot de Oliveira is a principal software engineer at Red Hat working in the development of real-time features of the Linux kernel. Daniel has a joint PhD degree in Automation and Systems Engineering at UFSC (BRA) and in Embedded Systems at the Scuola Superiore Sant’Anna (ITA). He is also a post-PhD researcher in the Retis Lab at the Scuola Superiore Sant’Anna.

Articles by this author

A thread model for the real-time Linux kernel

The recent advances in AI and telecommunications are enabling a new set of complex cyber-physical systems, including those for safety-critical applications.

Efficient runtime verification for the Linux kernel

If safety-critical systems fail, they can cause significant damage, including loss of life. In this article we consider methods to verify their behavior in production.

Demystifying real-time Linux scheduling latency

This is the third of a series of three articles about the formal analysis and verification of the real-time Linux® kernel. Read the first article in RHRQ 2:3 and the second article in RHRQ 2:4.

Meet osnoise, a better tool for fine-tuning to reduce operating system noise in the Linux kernel

Research on the root causes of OS noise in high-performance computing environments has produced a tool that can provide more precise information than was previously available. The Linux operating system (OS) has proved to be a viable option for a wide range of very niche applications, despite its general-purpose nature. For example, Linux can be […]