Operating System Noise in the Linux Kernel
Accepted paper
Daniel Bristot de Oliveira, Daniel Casini, and Tommaso Cucinotta. IEEE Transactions on Computers, Special Issue on Real-Time Systems, to appear (accepted on June 26th, 2022).
An Evaluation of Adaptive Partitioning of Real-Time Workloads on Linux
Andrea Stevanato, Tommaso Cucinotta, Luca Abeni, Daniel Bristot de Oliveira, IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC 2021).
Demystifying the Real-Time Linux Scheduling Latency
Paper – Publication page – Companion Page – Bibtex – Video presentation (waiting for ECRTS 20)
Daniel Bristot de Oliveira, Daniel Casini, Rômulo Silva de Oliveira & Tommaso Cucinotta
32nd Euromicro Conference on Real-time Systems (ECRTS 2020).
Demystifying the Real-Time Linux Scheduling Latency (Artifact)
Paper – Artifact – Bibtex
Daniel Bristot de Oliveira, Daniel Casini, Rômulo Silva de Oliveira & Tommaso Cucinotta
32nd Euromicro Conference on Real-time Systems (ECRTS 2020).
Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
Thesis – Slides – Bibtex – Defense (video) – Companion Page
Candidate: Daniel Bristot de Oliveira. Advisers: Tommaso Cucinotta, Rômulo Silva de Oliveira
Joint degree (cotutelle): Universidade Federal de Santa Catarina and Scuola Superiore Sant’Anna
Defense on July, 29th of 2020. Online due to Covid-19 pandemic restrictions, from Pisa – Italy.
A Thread Synchronization Model for the PREEMPT_RT Linux Kernel
Accepted Paper – Official Paper – Bibtex
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira & Tommaso Cucinotta
Journal of Systems Architecture
Efficient Formal Verification for the Linux Kernel
Article – Slides – Companion Page – Bibtex
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira & Tommaso Cucinotta
17th International Conference on Software Engineering and Formal Methods
Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel
Article – Slides – Companion Page – Bibtex
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
Article – Slides – Bibtex – I suggest using the Use the journal version.
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.
Bibtex
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 – Bibtex
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)