TY - CONF AB - Bei der Simulation von eingebetteten Echtzeit Systemen zur Analyse von Ausführungs- zeiten und Scheduling gibt es immer einen Kompromiss zwischen zyklengenauen Ergebnis- sen und der Laufzeit der Simulation. Mithilfe von abstrakten RTOS Modellen auf Basis von SystemC wird versucht diese Lücke zu schließen. Aktuelle Arbeiten besitzen allerdings nur unzureichende Möglichkeiten zur Modellierung von Interrupt Scheduling und ihren hard- wareabhängigen Prioritäten. Unser Ansatz verwendet zwei getrennte Scheduler für Softwa- re Task und Interrupt Service Routinen. Diese Trennung erlaubt die präzise Modellierung von Interrupt Prioritäten und Interrupt Scheduling unabhängig von dem eigentlichen RTOS Scheduler. AU - Zabel, Henning AU - Müller, Wolfgang ED - Scholl, Ch. ED - Disch, S. ID - 37072 T2 - Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System TI - Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC ER -