Real-Time Systems

This course is part of the Master of Science in Embedded Computing Systems
jointly offered by the University of Pisa and the Scuola Superiore Sant’Anna

To receive Email notifications about any change on course lectures and exams please register to this web page.


  1. Introduction
  2. Task modeling
  3. Job scheduling
  4. Periodic scheduling
  5. Resource sharing
  6. Limited preemptive scheduling
  7. Aperiodic servers
  8. Resource reservation
  9. Overload handling
  10. Intertask communication
  11. Programming style rules
  12. Pthread library
  13. Allegro library
  14. Guidelines for developing the project



Suggested Books

  • Giorgio Buttazzo: "HARD REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and Applications",
    Third Edition, Springer, 2011.      Errata Corrige

  • Giorgio Buttazzo: Sistemi in Tempo Reale, Terza Edizione
    Pitagora Editrice, Bologna, 2006.      Errata Corrige