2023
2022
RTLA: finding sources of OS noise on Linux
Slides
Event: Keynote speaker on the VHPC workshop
Description: usage of osnoise and timerlat
osnoise: what is missing?
Slides
Event: LPC Real-time and Scheduling MC
Description: Open issues on the osnoise tracer
RV: where are we?
Slides
Event: LPC refereed track
Description: Status of the RV subsystem (just merged at that time)
2021
OSNoise Tracer: Who Is Stealing My CPU Time?
Slide
Event: P99 Conference (online)
Description: A presentation about the recently added OS Noise tracer
RTLA: An interface for osnoise/timerlat tracers
Slides
Event: Real-time Microconference at Linux Plumbers 2021
Description: The presentation about the PoC of RTLA
A maintainable, scalable, and verifiable SW architectural design model for the Linux Kernel
Slides
Event: Linux Plumbers Conference – Referred Track
Event: Open Source Summit 2021
Description: A strategy to qualify Linux as an ASIL-B system (using RV) – Talk together with Gabriele Paoloni
A maintainable and scalable Kernel qualification approach for Automotive
Slides
Event: Elisa Workshop
Description: A approach for the qualification of the Linux kernel according to the ISO 26262 rules, using semi-formal and formal description and verification.
Real-time Linux: what is next?
Video
Event: DevConf.cz
Description: some thoughts about the future of real-time Linux.
2020
Demystifying the Real-Time Linux Scheduling Latency
All material (paper, video, slides, source)
Event: Euromicro Conference on Real-time Systems (ECRTS)
Presentation of the scientific paper with the same title.
A theorem for the RT scheduling latency (and a measuring tool too!)
Slides
Event: Linux Plumbers 2020
Description: A formal description of the components of the scheduling latency. Based on the paper presented at ECRTS 2020.
Slides
Event: 2020 Devconf (Brno – CZ)
Description: a “roadmap” for sched deadline.
Efficient Runtime Verification for the Linux Kernel
Slides (see Companion page)
Event:Red Hat Research Day Europe
Description: Presents the paper of a methodology to formally model; verify; and monitor Linux’s execution.
2019
Real-time Linux: what is, what is not and what is next.
Slides
Event: 2019 Real-time Linux Summit (Lyon – FRA)
Description: A discussion about that the state-of-the-art of Real-time Linux, and what are the next steps toward a more predictable Linux.
SCHED_DEADLINE: What is next (?)
Slides
Event: 2019 Real-time Linux Summit (Lyon – FRA)
Description: a “roadmap” for sched deadline.
Efficient Formal Verification for the Linux Kernel
Slides, Paper & Companion page
Event:17th International Conference on Software Engineering and Formal Methods.
Description: Presents the paper of a methodology to formally model; verify; and monitor Linux’s execution.
Formal verification made easy (and fast)!
Slides Plumbers – Slides Recipe – Slides ELCE
Video: Presentation at ELCE
Event: Linux Plumbers Conference 2019 (Lisbon – PT)
Event: Kernel Recipe 2019 (Paris – FR)
Event: ELISA project meeting 13/03/2020 (Online)
Description: Presents the on-going work of the development of a methodology to formally model; verify; and monitor Linux’s execution.
Mathemazing the Latency
Slides
Event: Linux Plumbers Conference 2019 – Real-time Micro-conference (Lisbon – PT)
Description: Describes part of the “latency” metric of the PREEMPT_RT from the kernel viewpoint.
2018
Nested Locks in the Lock Implementation: The Real-Time Read-Write Semaphores on Linux
Slides & Paper
Event: International Real-Time Scheduling Open Problems Seminar (RTSOPS 2018), co-located with the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Description: Describes the way that the Linux kernel nest locks to implement read/write semaphores
Mind the gap between real-time Linux and real-time theory
Slides
Event: Real-time Linux Summit (Edinburg – UK).
Slides
Event: Linux Plumbers – Main track (Vancouver – CA)
Description: The working progress report of the development of a formal task model of the PREEMPT-RT.
SCHED_DEADLINE desiderata and slightly crazy ideas
Slides
Event: Linux Plumbers – Main track (Vancouver – CA)
Event: Linux Plumbers – Real-time Micro Conference (Vancouver – CA)
Description: Features that we want to add to the SCHED_DEADLINE. This talk was shared with Juri Lelli.
How can we catch problems that can break the PREEMPT_RT preemption model?
Slides
Event: Linux Plumbers – Real-time Micro Conference (Vancouver – CA)
Description: How to use the model presented in the “mind the gap” presentation to catch problems in the PREEMPT_RT.
Beyond the latency: New metrics for the real-time kernel
Slides
Event: Linux Plumbers – Real-time Micro Conference (Vancouver – CA)
Description: Discussion about new metrics for the PREEMPT_RT
2017
Deadline scheduler – Open Issues
Slides
Event: Linux Plumbers 2017 (LA – USA)
Event: DevConf 2018 (Brno – CZ)
Description: A discussion about possible open issues of the deadline scheduler on Linux
Deadline Scheduler: From theory to your server
Slides
Event: DevConf 2017 (Brno – CZ)
Description: How-to use SCHED_DEADLINE on Linux
2016
Ftrace How-to
Slides
Event: Latinoware 2016 – Foz do Igauçu – Brazil
Event: Linux Day – Pisa – Italy
Description: A introduction about how to use ftrace
2015
RT OS and Real-time Linux
Slides
Event: Lecture to the M.Sc and Ph.D students of Automation and Systems post-grad program – UFSC – Florianopolis – Brazil
Description: Introduction to RT OS and RT Linux
Free Software: Para engenheiros, cientistas e curiosos
Slides (pt_BR)
Event: Computer on the beach 2015 – Florianópolis – Brazil
Description: A keynote speaker to try to incentivate undergrad students to follow the free software carrer (non technical).
2014
Real-time Linux: From theory until SCHED_DEADLINE
Slides & Video (pt_BR)
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil
Event: Latinoware – Foz do Iguaçu – Brazil
Event: Internal training at Red Hat in Brno (CZ) (2015)
Description: The title is self explained.
2013
Real-Time Linux
Slides
Event: Academic week of Computer Science – UFSC – Florianopolis – Brazil
Slides
Event: Lecture to the M.Sc and Ph.D students of Automation and Systems post grad program – UFSC – Florianopolis – Brazil
Description: What is, how it works and who needs Linux on Real Time
QoS (on IP telecommunications)
Slides
Event: Academic week of Federal Institute of Technology SC – Sombrio – Brazil (2013)
Description: QoS on local networks and on Internet
2011 & 2012
Hardware for embedded system devices
Slides
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil (2011 & 2012)
Description: An introduction to common architectures and hardware used on embedded Linux devices projects and tips for development.
Real-Time Linux
Slides
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil (2011 & 2012)
Description: What is, how it works and who needs Linux on Real Time
2010
Linux on embedded systems
Slides
Event: Enconto Sul Brasileiro de computação (2010)
Description: How and where Linux is being used in embedded systems.
Linux on Real-Time Embedded Systems – Tips and tools
Linux on Real-Time Embedded Systems Tips and Tools
Slides
Event: LinuxCon – São Paulo – Brazil (2010)
Event: Solisc – Encontro Catarinense de Software Livre – Florianopolis – Brazil (2010)
Description: Tips and tools on real-time Linux in embedded systems.
2008 & 2009
At that time I was moving from a SysAdmin career to the Software Engineering career. I was also moving from FreeBSD to Linux. So I stopped with lectures and dive into the development of embedded systems, and Linux kernel programming, and Real-Time Linux.
2007
GEOM: Playing with discs on FreeBSD
Slides
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil (2007)
Event: Semana Acadêmica Ciência/Eng. da computação Univali – São José – Brazil (2007)
Event: Congresso Internacional de Software Livre – São Paulo – Brazil (2007)
Description: Presentation about disk IO subsystem of the kernel of FreeBSD, and examples of managing disks in FreeBSD.
2006
Beowulf: Parallel cluster with FreeBSD
Slides & Article
Event: Encontro Catarinense de Software Livre – Tubarão – Brazil (2006)
Event: Congresso Sul Catarinense de Computação – Criciúma – Brazil (2006)
Description: Presentation about cluster concepts and demonstration of a cluster for parallel processing of vector graphics with 48 computers running FreeBSD
High availability web servers with FreeBSD
Slides
Event: LinuxChix Brasil – Florianópolis – Brazil
Event: Congresso Internacional de Software Livre – São Paulo – Brazil
Description: How to build an highly available/performance cluster of web servers using CARP/VRRP protocols and load balancing.
Description: A strategy to qualify Linux as an ASIL-B system (using RV) – Talk together with Gabriele Paoloni
A maintainable and scalable Kernel qualification approach for Automotive
Slides
Event: Elisa Workshop
Description: A approach for the qualification of the Linux kernel according to the ISO 26262 rules, using semi-formal and formal description and verification.
Real-time Linux: what is next?
Video
Event: DevConf.cz
Description: some thoughts about the future of real-time Linux.
2020
Demystifying the Real-Time Linux Scheduling Latency
All material (paper, video, slides, source)
Event: Euromicro Conference on Real-time Systems (ECRTS)
Presentation of the scientific paper with the same title.
A theorem for the RT scheduling latency (and a measuring tool too!)
Slides
Event: Linux Plumbers 2020
Description: A formal description of the components of the scheduling latency. Based on the paper presented at ECRTS 2020.
Slides
Event: 2020 Devconf (Brno – CZ)
Description: a “roadmap” for sched deadline.
Efficient Runtime Verification for the Linux Kernel
Slides (see Companion page)
Event:Red Hat Research Day Europe
Description: Presents the paper of a methodology to formally model; verify; and monitor Linux’s execution.
2019
Real-time Linux: what is, what is not and what is next.
Slides
Event: 2019 Real-time Linux Summit (Lyon – FRA)
Description: A discussion about that the state-of-the-art of Real-time Linux, and what are the next steps toward a more predictable Linux.
SCHED_DEADLINE: What is next (?)
Slides
Event: 2019 Real-time Linux Summit (Lyon – FRA)
Description: a “roadmap” for sched deadline.
Efficient Formal Verification for the Linux Kernel
Slides, Paper & Companion page
Event:17th International Conference on Software Engineering and Formal Methods.
Description: Presents the paper of a methodology to formally model; verify; and monitor Linux’s execution.
Formal verification made easy (and fast)!
Slides Plumbers – Slides Recipe – Slides ELCE
Video: Presentation at ELCE
Event: Linux Plumbers Conference 2019 (Lisbon – PT)
Event: Kernel Recipe 2019 (Paris – FR)
Event: ELISA project meeting 13/03/2020 (Online)
Description: Presents the on-going work of the development of a methodology to formally model; verify; and monitor Linux’s execution.
Mathemazing the Latency
Slides
Event: Linux Plumbers Conference 2019 – Real-time Micro-conference (Lisbon – PT)
Description: Describes part of the “latency” metric of the PREEMPT_RT from the kernel viewpoint.
2018
Nested Locks in the Lock Implementation: The Real-Time Read-Write Semaphores on Linux
Slides & Paper
Event: International Real-Time Scheduling Open Problems Seminar (RTSOPS 2018), co-located with the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Description: Describes the way that the Linux kernel nest locks to implement read/write semaphores
Mind the gap between real-time Linux and real-time theory
Slides
Event: Real-time Linux Summit (Edinburg – UK).
Slides
Event: Linux Plumbers – Main track (Vancouver – CA)
Description: The working progress report of the development of a formal task model of the PREEMPT-RT.
SCHED_DEADLINE desiderata and slightly crazy ideas
Slides
Event: Linux Plumbers – Main track (Vancouver – CA)
Event: Linux Plumbers – Real-time Micro Conference (Vancouver – CA)
Description: Features that we want to add to the SCHED_DEADLINE. This talk was shared with Juri Lelli.
How can we catch problems that can break the PREEMPT_RT preemption model?
Slides
Event: Linux Plumbers – Real-time Micro Conference (Vancouver – CA)
Description: How to use the model presented in the “mind the gap” presentation to catch problems in the PREEMPT_RT.
Beyond the latency: New metrics for the real-time kernel
Slides
Event: Linux Plumbers – Real-time Micro Conference (Vancouver – CA)
Description: Discussion about new metrics for the PREEMPT_RT
2017
Deadline scheduler – Open Issues
Slides
Event: Linux Plumbers 2017 (LA – USA)
Event: DevConf 2018 (Brno – CZ)
Description: A discussion about possible open issues of the deadline scheduler on Linux
Deadline Scheduler: From theory to your server
Slides
Event: DevConf 2017 (Brno – CZ)
Description: How-to use SCHED_DEADLINE on Linux
2016
Ftrace How-to
Slides
Event: Latinoware 2016 – Foz do Igauçu – Brazil
Event: Linux Day – Pisa – Italy
Description: A introduction about how to use ftrace
2015
RT OS and Real-time Linux
Slides
Event: Lecture to the M.Sc and Ph.D students of Automation and Systems post-grad program – UFSC – Florianopolis – Brazil
Description: Introduction to RT OS and RT Linux
Free Software: Para engenheiros, cientistas e curiosos
Slides (pt_BR)
Event: Computer on the beach 2015 – Florianópolis – Brazil
Description: A keynote speaker to try to incentivate undergrad students to follow the free software carrer (non technical).
2014
Real-time Linux: From theory until SCHED_DEADLINE
Slides & Video (pt_BR)
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil
Event: Latinoware – Foz do Iguaçu – Brazil
Event: Internal training at Red Hat in Brno (CZ) (2015)
Description: The title is self explained.
2013
Real-Time Linux
Slides
Event: Academic week of Computer Science – UFSC – Florianopolis – Brazil
Slides
Event: Lecture to the M.Sc and Ph.D students of Automation and Systems post grad program – UFSC – Florianopolis – Brazil
Description: What is, how it works and who needs Linux on Real Time
QoS (on IP telecommunications)
Slides
Event: Academic week of Federal Institute of Technology SC – Sombrio – Brazil (2013)
Description: QoS on local networks and on Internet
2011 & 2012
Hardware for embedded system devices
Slides
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil (2011 & 2012)
Description: An introduction to common architectures and hardware used on embedded Linux devices projects and tips for development.
Real-Time Linux
Slides
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil (2011 & 2012)
Description: What is, how it works and who needs Linux on Real Time
2010
Linux on embedded systems
Slides
Event: Enconto Sul Brasileiro de computação (2010)
Description: How and where Linux is being used in embedded systems.
Linux on Real-Time Embedded Systems – Tips and tools
Linux on Real-Time Embedded Systems Tips and Tools
Slides
Event: LinuxCon – São Paulo – Brazil (2010)
Event: Solisc – Encontro Catarinense de Software Livre – Florianopolis – Brazil (2010)
Description: Tips and tools on real-time Linux in embedded systems.
2008 & 2009
At that time I was moving from a SysAdmin career to the Software Engineering career. I was also moving from FreeBSD to Linux. So I stopped with lectures and dive into the development of embedded systems, and Linux kernel programming, and Real-Time Linux.
2007
GEOM: Playing with discs on FreeBSD
Slides
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil (2007)
Event: Semana Acadêmica Ciência/Eng. da computação Univali – São José – Brazil (2007)
Event: Congresso Internacional de Software Livre – São Paulo – Brazil (2007)
Description: Presentation about disk IO subsystem of the kernel of FreeBSD, and examples of managing disks in FreeBSD.
2006
Beowulf: Parallel cluster with FreeBSD
Slides & Article
Event: Encontro Catarinense de Software Livre – Tubarão – Brazil (2006)
Event: Congresso Sul Catarinense de Computação – Criciúma – Brazil (2006)
Description: Presentation about cluster concepts and demonstration of a cluster for parallel processing of vector graphics with 48 computers running FreeBSD
High availability web servers with FreeBSD
Slides
Event: LinuxChix Brasil – Florianópolis – Brazil
Event: Congresso Internacional de Software Livre – São Paulo – Brazil
Description: How to build an highly available/performance cluster of web servers using CARP/VRRP protocols and load balancing.