Dieser Kurs kann auch als ECEA 5316 im Rahmen des Master of Science in Electrical Engineering an der CU Boulder belegt werden. Dieser Kurs bietet eine detaillierte und vollständige mathematische Herleitung und Überprüfung von Modellen für Scheduling-Politiken und die Bestimmung der Machbarkeit von Hand und mit rate-monotonischen Werkzeugen sowie einen Vergleich mit der tatsächlichen Leistung für in Echtzeit geplante Threads, die auf einem nativen Linux-System laufen. Am Ende dieses Kurses werden die Teilnehmer in der Lage sein, die kleinste obere Schranke für die Machbarkeit bei fester Priorität abzuleiten und die monotone Strategie zu rechtfertigen. Sie werden auch in der Lage sein, einen Vergleich mit der dynamischen Prioritätsplanung, einschließlich der Strategien "earliest deadline first" und "least laxity", anzustellen.

Am Ende dieses Kurses werden die Teilnehmer in der Lage sein, das mathematische Modell für die monotone kleinste obere Schranke vollständig abzuleiten und zu erklären sowie Zeitdiagramme für Softwaredienste mit fester und dynamischer Priorität zu analysieren. Sie lernen Analysetools kennen (Cheddar), um die Timing-Analyse zu automatisieren und mit der tatsächlichen Leistung zu vergleichen. Zu den spezifischen Zielen gehören: ● Theorie der Ratenmonotonie (vollständige mathematische Modelle) ● Unterschiede zwischen der Politik der Ratenmonotonie mit fester Priorität und der Politik der dynamischen Priorität "earliest deadline first" und "least laxity" ● Scheduling-Theorie und -Praxis beim Schreiben von Code für Multi-Frequenz-Führungskräfte, prioritäre präemptive RTOS-Dienste und Echtzeit-Thread-Dienste auf traditionellen Betriebssystemen (Linux) ● Aufbau eines einfachen Linux-Multi-Service-Systems unter Verwendung von POSIX-Echtzeiterweiterungen auf dem Raspberry Pi 3b unter Verwendung von Sequenzierung und Methoden zur Protokollierung und Überprüfung der Übereinstimmung zwischen Theorie und Praxis ● Erstellung und Analyse von Timing-Diagrammen mit Cheddar