Contents

• Vorwort
• Einführende Überlegungen
  • Intuitives Beispiel
  • Konstruktion eines einfachen Systems
    • Problem und Verhaltensmodell
  • Modell der Systemfunktion (Alte Version)
  • Modell der Systemfunktion (Neue Version)
    • Aufgabenstellung
    • RT System-Struktur
    • Beispiel einer Ausführung
  • Ausblick
  
  
• Scheduling Signaturen
• Scheduling von Periodischen Tasks
  • Timeline Scheduling (TL)
  • Rate Monotonic (RM)
  • Deadline Monotonic (DM)
  • Earliest deadline First (EDF)
  • Vergleich von TL, RM, DM, EDF
  
  
• Protokolle zur Ressourcenverwaltung
  • Allgemeine Begriffe
  • Priority Inheritance Protokoll
    • Bsp: Priority Inversion ohne PI Protokoll
    • Bsp: Keine Priority Inversion mit PI Protokoll
    • Bsp: Chaining
    • Bsp: Deadlock trotz PI
  • Priority Ceiling Protokoll
    • Bsp: Kein Deadlock mit PC
    • Weiteres Beispiel für PC
  • Stack Resource Protokoll
  • Zusammenfassung
  
  
• Scheduling von Aperiodischen Tasks
  • Synchron, Unabhängig, Nicht Präemptiv: Earliest Due Date (EDD)
  • Synchron, Abhängig, Präempttiv: Latest Deadline First (LDF)
  • Asynchron, Unabhängig, Präemptiv: Earliest Deadline First (EDF)
  • Asynchron, Unabhängig, Nicht präemptiv: Baum-Suche, Bratley's Algorithmus
  • Asynchron, Abhängig, Präemptiv: Earliest Deadline First with Precedence (EDF*)
    • Transformierung der Abhängigkeiten
    • Akzeptanztest
  • Asynchron, Abhängig, Nicht Präemptiv: SPRING Algorithmus
  
  
• Simulation
• Server für Statische Prioritäten kombiniert mit aperiodischen Tasks
• Server für Dynamische Prioritäten kombiniert mit aperiodischen Tasks
• Behandlung von Überlastsituationen
• Fallstudie Linux als Realzeitsystem
• Verifikation
  • Historische Entwicklung
  • Automatische Verifikation
  • Beispiel RTS als Automat
    • Ein RT Problem
    • Ereignisse als Input
    • Zustandsmengen und Übergangsgraph
    • Probleme
    • Maximale Kapazität
  • Push-down Automata - Kellerautomaten
    • Beispiel für Periodische Ereignisse mit RM
  
  
• Übungsaufgaben
  • EX1: Beispiele für Realzeit-Problemstellungen im Alltag
    • Inhaltliche Aufgabe
    • Organisatorisches
  • EX2: Modellierung des intendierten Verhaltens eines RTS
    • Inhaltliche Aufgabe
    • Organisatorisches
  • EX3: Modellierung der RTS-Systemfunktion mit periodischen Tasks ohne Zugriff auf kritische Ressourcen
    • Inhaltliche Aufgabe
    • Organisatorisches
  • EX4: Scheduling von abhängigen aperiodischen Tasks ohne Zugriff auf kritische Ressourcen
    • Inhaltliche Aufgabe
    • Organisatorisches
  • EX5: Scheduling von periodischen Tasks mit Zugriff auf kritische Ressourcen
    • Inhaltliche Aufgabe
    • Organisatorisches
  • EX6: Scheduling von abhängigen aperiodischen Tasks ohne Zugriff auf kritische Ressourcen
    • Inhaltliche Aufgabe
    • Organisatorisches
  • EX7: Implementierung eines RTS-Systems
    • Inhaltliche Aufgabe
    • Organisatorisches
  • EX8
    • Inhaltliche Aufgabe
  
  
• ANHANG: RTS Grundbegriffe
  • Liste wichtiger Begriffe
    • Grundbegriffe
    • Kostenfunktionen
  
  
• ANHANG: Komplexität von Schedulingalgorithmen
• ANHANG: Zeit
  • Reale Welt und Zeiterleben
  • Zeiterleben und Gehirn
  • Die Zeit der Natur
  • Ein mathematisches Modell der Zeit
  • Uhren
  • Internationale Basiseinheit für Zeit
  • Wichtige Zeitskalen
  
  
• ANHANG: Anwendungsbereiche
  • Einige Anwendungsbereiche
  • Standards
    • RT-POSIX
    • OSEK
    • APEX (ARINC)
    • MICRO-ITRON
  • Realzeit-Betriebssysteme
    • ERIKA
    • Linux nach 2.6.18
    • Linux/RK
    • MARTE
    • OSE
    • PikeOS
    • QNX
    • RTAI
    • RTEMS
    • RTLinux
    • SHARK
    • VxWorks
    • Windows CE
  • Hardware und Realzeitsysteme
  • Programmiersprachen und Realzeitsysteme
    • C
    • C++
    • Real-Time Concurrent C
    • SystemC
    • Ada
    • Java
    • Real-Time Euclid
  • Werkzeuge
  
  
• Bibliography