Simulation mit abstrakten RTOS Modellen in SystemC

An komplexe Steuersoftware werden harte Anforderungen bez ̈ug- lich der Einhaltung von Zeitschranken gestellt. Die richtige Wahl eines Echtzeit-Schedulingverfahrens ist hier entscheidend. Die Verwendung von Interrupts in einem Echtzeitsystem erlaubt die zeitnahe Reaktion auf externe Ereignisse. Sie erschwert allerdings die Vorhersagbarkeit von Zeitschranken. In diesem Bericht wird eine Methode zur abstrakten Simulation eines Echtzeitbetriebssystems (Real-Time Operating System/RTOS) in der Systembeschreibungssprache SystemC vorgestellt. Die Verwen- dung eines RTOS-Modelles in SystemC erlaubt die Evaluierung ver- schiedener Schedulingverfahren zu einem fr ̈uhen Zeitpunkt im Ent- wurf des Systems. Interrupts unterliegen allerdings nicht einem RTOS- Schedulingverfahren und m ̈ussen daher gesondert behandelt werden. Dieser Bericht beschreibt die Implementierung eines kanonischen RTOS-Modells zur fr ̈uhen Analyse von Schedulingverfahren, das ei- ne getrennte Modellierung von Task- und Interrupt-Scheduling er- laubt. Dieser Ansatz erlaubt die Trennung des hardwareabh ̈angigen Interrupt-Scheduling in ein separates Modell und eine Evaluierung des Schedules, das sich rein auf Tasks bezieht.