{"_id":"37072","title":"Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC","department":[{"_id":"672"}],"user_id":"5786","citation":{"ama":"Zabel H, Müller W. Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In: Scholl Ch, Disch S, eds. <i>Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System</i>. Shaker Verlag; 2008.","mla":"Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten RTOS Modellen in SystemC.” <i>Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System</i>, edited by Ch. Scholl and S. Disch, Shaker Verlag, 2008.","ieee":"H. Zabel and W. Müller, “Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC,” in <i>Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System</i>, 2008.","apa":"Zabel, H., &#38; Müller, W. (2008). Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In Ch. Scholl &#38; S. Disch (Eds.), <i>Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System</i>. Shaker Verlag.","bibtex":"@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} }","chicago":"Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten RTOS Modellen in SystemC.” In <i>Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System</i>, edited by Ch. Scholl and S. Disch. Aachen: Shaker Verlag, 2008.","short":"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."},"date_created":"2023-01-17T12:05:11Z","editor":[{"last_name":"Scholl","full_name":"Scholl, Ch.","first_name":"Ch."},{"first_name":"S.","full_name":"Disch, S.","last_name":"Disch"}],"status":"public","year":"2008","place":"Aachen","abstract":[{"lang":"eng","text":"Bei der Simulation von eingebetteten Echtzeit Systemen zur Analyse von Ausführungs-\r\nzeiten und Scheduling gibt es immer einen Kompromiss zwischen zyklengenauen Ergebnis-\r\nsen und der Laufzeit der Simulation. Mithilfe von abstrakten RTOS Modellen auf Basis von\r\nSystemC wird versucht diese Lücke zu schließen. Aktuelle Arbeiten besitzen allerdings nur\r\nunzureichende Möglichkeiten zur Modellierung von Interrupt Scheduling und ihren hard-\r\nwareabhängigen Prioritäten. Unser Ansatz verwendet zwei getrennte Scheduler für Softwa-\r\nre Task und Interrupt Service Routinen. Diese Trennung erlaubt die präzise Modellierung\r\nvon Interrupt Prioritäten und Interrupt Scheduling unabhängig von dem eigentlichen RTOS\r\nScheduler."}],"publisher":"Shaker Verlag","author":[{"first_name":"Henning","last_name":"Zabel","full_name":"Zabel, Henning"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"}],"date_updated":"2023-01-17T12:05:17Z","type":"conference","publication":"Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System","language":[{"iso":"eng"}]}