Andrea Bastoni
System Programming Research Group
University of Rome "Tor Vergata"

I'm currently working as Operating System Engineer at SYSGO AG.
Prior to joining SYSGO, I worked in the Internal Research and Development department at MBDA Italy.
I received my Ph.D. in Computer Engineering from the University of Rome "Tor Vergata" in 2011. I'm an external collaborator of the System Programming Research Group. During my Ph.D., I worked with Jim Anderson in the Real-Time Systems group at The University of North Carolina at Chapel Hill.

Research and Interests

At SYSGO I'm mainly involved with the development of the microkernel-based PikeOS operating system. My research area includes real-time systems, embedded systems, multiprocessor scheduling algorithms and their feasible application into operating systems.
I am interested in safety critical systems, avionics and safety standards, computer networks and high performance computing. I also work on Virtualization technologies.
While undertaking my Ph.D., I collaborated with MBDA, a Finmeccanica Company, in the field of "High Performance GNU/Linux" (Iniziativa Software Finmeccanica).


  • Ph.D. in Computer Engineering at University of Rome "Tor Vergata" (May 2011). Advisor: Marco Cesati, co-advisor: James H. Anderson. Dissertation: Towards the Integration of Theory and Practice in Multiprocessor Real-Time Scheduling. [PDF].
  • Visiting Researcher at Real-Time Systems group at The University of North Carolina at Chapel Hill (2009-2010).
  • Certified Professional Engineer (PE) in Information Engineering.
  • Master Degree Summa cum Laude in Computer Engineering at University of Rome "Tor Vergata" (2007).
  • Exchange student at "University of Warwick", Computer Science Department (2006-2007)


  • B. Brandenburg and A. Bastoni, "The Case for Migratory Priority Inheritance in Linux: Bounded Priority Inversions on Multiprocessors", Proceedings of the 14th Real-Time Linux Workshop (RTLWS 2012), pp. 67-86. Real-Time Linux Foundation, October 2012. [PDF, prototype]
  • A. Bastoni, B. Brandenburg, and J. Anderson, "Is Semi-Partitioned Scheduling Practical?", Proceedings of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011), pp. 125-135, July 2011. [PDF]
  • A. Bastoni, B. Brandenburg, and J. Anderson, "An Empirical Comparison of Global, Partitioned, and Clustered Multiprocessor EDF Schedulers", Proceedings of the 31st IEEE Real-Time System Symposium (RTSS 2010), pp. 14-24, December 2010. [PDF]
  • A. Bastoni, B. Brandenburg, and J. Anderson, "Cache-Related Preemption and Migration Delays: Empirical Approximation and Impact on Schedulability", Proceedings of the Sixth International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2010), pp. 33-44, July 2010. [PDF, Proceedings]
  • A. Bastoni, P. Boschi, F. Batino, C. Di Biagio, and L. Recchia, "Testing Embedded Systems Software using Open Source Virtual Platforms", Proceedings of the IASTED International Conference on Software Engineering (SE 2010), February 2010.
  • A. Bastoni, D. Bovet, M. Cesati and P. Palana, "Discovering hypervisor overheads using micro and macrobenchmarks", First Workshop on Computer Architecture and Operating System co-design (CAOS 2010), January 2010. [PDF]

Conferences and Workshops

Current and past program committee involvement:
Past events I helped to organize:


Teaching (Professional)

  • Parallel Programming (2009) - Italian Defence's General Staff
  • C Programming (2008) - Italian Defence's General Staff