Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC
H. Zabel, W. Müller, in: Ch. Scholl, S. Disch (Eds.), Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, Shaker Verlag, Aachen, 2008.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Zabel, Henning;
Müller, WolfgangLibreCat
Editor
Scholl, Ch.;
Disch, S.
Abstract
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.
Publishing Year
Proceedings Title
Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System
LibreCat-ID
Cite this
Zabel H, Müller W. Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In: Scholl Ch, Disch S, eds. Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System. Shaker Verlag; 2008.
Zabel, H., & Müller, W. (2008). Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In Ch. Scholl & S. Disch (Eds.), Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System. Shaker Verlag.
@inproceedings{Zabel_Müller_2008, place={Aachen}, title={Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC}, booktitle={Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System}, publisher={Shaker Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Scholl, Ch. and Disch, S.}, year={2008} }
Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten RTOS Modellen in SystemC.” In Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, edited by Ch. Scholl and S. Disch. Aachen: Shaker Verlag, 2008.
H. Zabel and W. Müller, “Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC,” in Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System, 2008.
Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten RTOS Modellen in SystemC.” Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, edited by Ch. Scholl and S. Disch, Shaker Verlag, 2008.
Google Scholar