I am a fourth year PhD student at the Max Planck Institute for Software Systems (MPI-SWS), enrolled at TU Kaiserslautern. I work at the Real-Time Systems group, advised by Björn Brandenburg.
Prior to joining MPI-SWS, I did my undergraduate studies in the Federal University of Bahia (Brazil), where I worked with
Currently, I'm investigating how to use proof assistants to derive guaranteed-correct schedulability analysis, in order to increase the
confidence levels of future real-time systems.
I have also worked on other theoretical and practical aspects of real-time scheduling. These include implementing scalable schedulers for multicore platforms
and devising schedulability analysis for more realistic task models, such as arbitrary processor affinities (APA).
Conference and Workshop Papers
- F. Cerqueira, F. Stutz, and B. Brandenburg, “Prosa: A Case for Readable Mechanized Schedulability Analysis”, Proceedings of the 28th Euromicro Conference on Real-Time Systems (ECRTS 2016), pp. 273–284, July 2016. Best paper award.
[PDF | project | artifact evaluation | slides]
- F. Cerqueira, A. Gujarati, and B. Brandenburg, “Linux’s Processor Affinity API, Refined: Shifting Real-Time Tasks towards Higher Schedulability”, Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS 2014), pp. 249-259, December 2014.
[PDF | slides]
- A. Gujarati, F. Cerqueira, and B. Brandenburg, “Multiprocessor Real-Time Scheduling with Arbitrary Processor Affinities: From Practice to Theory”, Real-Time Systems, in press, available online. Springer Verlag, July 2014.
- F. Cerqueira, M. Vanga, and B. Brandenburg, “Scaling Global Scheduling with Message Passing”, Proceedings of the 20th IEEE Real-Time and Embedded
Technology and Applications Symposium (RTAS 2014), pp. 263-274, April 2014.
The extended version contains all overhead measurements and the complete set
of schedulability results.
[PDF | PDF (extended version) |
- M. Vanga, F. Cerqueira, B. Brandenburg,
A. Lyons, and G. Heiser,
“FlaRe: Efficient Capability Semantics for Timely Processor Access”,
manuscript, October 2013.
- A. Gujarati, F. Cerqueira, and B. Brandenburg, “Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities”,
Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013), pp. 69-79, July 2013. Outstanding Paper Award.
Erratum: the paper has been revised to account for issues in Lemmas 2 and 4 in Section IV of the original ECRTS 2013 paper. A detailed erratum is provided in Appendix A of the revised paper.
[PDF (revision 1) | slides]
- F. Cerqueira and B. Brandenburg, “A Comparison of Scheduling Latency in Linux, PREEMPT-RT, and LITMUSRT”,
Proceedings of the 9th Annual Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2013), pp. 19-29, July 2013. Invited paper.
The slides include additional graphs comparing Linux 3.8.13 with and without the "threadirqs" option enabled.
[PDF | slides | proceedings]