Publications

Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel

ArticleSlides – Companion Page
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira & Tommaso Cucinotta
2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC)

Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata

ArticleSlides
Daniel Bristot de Oliveira, Tommaso Cucinotta and Romulo Silva De Oliveira
8th Embedded Operating Systems Workshop (EWiLi 2018)
(Please, refer to the paper Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel).

An Empirical Study on the Adequacy of MBPTA for Tasks Executed on a Complex Computer Architecture with Linux.

Karila Palma Silva, Luis Fernando Arcaro, Daniel Bristot de Oliveira, Rômulo Silva de Oliveira.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA 2018)

Nested Locks in the Lock Implementation: The Real-Time Read-Write Semaphores on Linux

Article
Daniel B de Oliveira, Daniel Casini, Rômulo S de Oliveira, Tommaso Cucinotta, Alessandro Biondi, Giorgio Buttazzo
in Proceedings of the International Real-Time Scheduling Open Problems Seminar (RTSOPS 2018), co-located with the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). July 3, 2018, Barcelona, Spain.

Automata-Based Modeling of Interrupts in the Linux PREEMPT RT Kernel

Article
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira, Tommaso Cucinotta and Luca Abeni
Proceedings of the 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA 2017)

Timing analysis of the PREEMPT RT Linux kernel

Article
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira
Journal Software: Practice and Experience

Análise Comparativa das Ferramentas de Trace para Linux de Tempo Real

Article
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira
Revista IEEE América Latina, Vol. 12, N. 6, Sept. 2014.

Mapping of the Synchronization Mechanisms of the Linux Kernel to the Response-Time Analysis Model

DOI
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira
ACM SAC’2014 – The 29th Annual ACM Symposium on Applied Computing
Gyeongju, Korea, 24-28 March, 2014.

Mapeamento dos mecanismos de sincronização do kernel do Linux para o modelo de análise de tempo de resposta

Daniel Bristot de Oliveira, Rômulo Silva de Oliveira
SBESC ‘2013 – III Simpósio Brasileiro de Engenharia de Sistemas Computacionais
Niteroi – RJ, 4-8 de Novembro de 2013.

Processamento Paralelo de Imagens com Cluster Beowulf no FreeBSD

Article
Daniel Bristot de Oliveira, Daniel Pezzi da Cunha
Anais SULCOMP, Vol. 2, No 2 (2006)