Overview

This repository contains the notes of the course "145071 - Real Time Operating Systems and Middleware"

Progress:

CHAPTERS PROGRESS:

• Introduction to the Course
• Basic Concepts
  • Real-Time Tasks
  • Task Criticality
  • Schedulability analysis
• Periodic Task Scheduling
  • Real Time Scheduling
  • Cyclic Executive Scheduling
  • Fixed Priority Scheduling
  • Dynamic Priority Scheduling
• Aperiodic Servers
  • Background Execution
  • Immediate Execution
  • Polling Servers
  • Deferrable Servers
  • Sporadic Servers
  • Constant Bandwidth Servers (CSB) (+ EDF)
• Resource Access Protocols
  • Introduction
  • Non Preemptive Protocol (NPP)
  • Highest Locking Protocol (HLP)
  • Priority Inheritance Protocol (PIP)
  • Priority Ceiling Protocol (O/I-PCP)
• The Kernel
• Timer and Clock latency
• The non preemptable section latency

TODO:

• Add examples in "Periodic Task Scheduling", "Aperiodic Servers" and "Resource Access Protocols"
• Complete examples with images of scheduling process
• Add computation of blocking time for different resource access protocols
• Add schedulability analysis
• Missing O/I-PCP
• Missing DS and PS schedulability analysis (even though the appendix fills the knowledge gap)
• Missing Probabilistic Guarantees and PROSIT
• Missing real-world considerations (prolly this will be omitted anyway)
• Watch Lecture recording on Operating System Structure