{"title":"Simulation mit abstrakten RTOS Modellen in SystemC","abstract":[{"lang":"eng","text":"An komplexe Steuersoftware werden harte Anforderungen bez ̈ug-\r\nlich der Einhaltung von Zeitschranken gestellt. Die richtige Wahl eines\r\nEchtzeit-Schedulingverfahrens ist hier entscheidend. Die Verwendung\r\nvon Interrupts in einem Echtzeitsystem erlaubt die zeitnahe Reaktion\r\nauf externe Ereignisse. Sie erschwert allerdings die Vorhersagbarkeit\r\nvon Zeitschranken.\r\nIn diesem Bericht wird eine Methode zur abstrakten Simulation\r\neines Echtzeitbetriebssystems (Real-Time Operating System/RTOS)\r\nin der Systembeschreibungssprache SystemC vorgestellt. Die Verwen-\r\ndung eines RTOS-Modelles in SystemC erlaubt die Evaluierung ver-\r\nschiedener Schedulingverfahren zu einem fr ̈uhen Zeitpunkt im Ent-\r\nwurf des Systems. Interrupts unterliegen allerdings nicht einem RTOS-\r\nSchedulingverfahren und m ̈ussen daher gesondert behandelt werden.\r\nDieser Bericht beschreibt die Implementierung eines kanonischen\r\nRTOS-Modells zur fr ̈uhen Analyse von Schedulingverfahren, das ei-\r\nne getrennte Modellierung von Task- und Interrupt-Scheduling er-\r\nlaubt. Dieser Ansatz erlaubt die Trennung des hardwareabh ̈angigen\r\nInterrupt-Scheduling in ein separates Modell und eine Evaluierung des\r\nSchedules, das sich rein auf Tasks bezieht."}],"series_title":"C-LAB Report","language":[{"iso":"eng"}],"intvolume":" 6","issue":"4","place":"Paderborn","date_updated":"2023-01-17T12:11:23Z","citation":{"chicago":"Zabel, Henning, and Wolfgang Müller. “Simulation Mit Abstrakten RTOS Modellen in SystemC.” C-LAB Report. Paderborn, 2007.","mla":"Zabel, Henning, and Wolfgang Müller. Simulation Mit Abstrakten RTOS Modellen in SystemC. no. 4, 2007.","short":"H. Zabel, W. Müller, 6 (2007).","ama":"Zabel H, Müller W. Simulation mit abstrakten RTOS Modellen in SystemC. 2007;6(4).","ieee":"H. Zabel and W. Müller, “Simulation mit abstrakten RTOS Modellen in SystemC,” vol. 6, no. 4. Paderborn, 2007.","apa":"Zabel, H., & Müller, W. (2007). Simulation mit abstrakten RTOS Modellen in SystemC (Vol. 6, Issue 4).","bibtex":"@article{Zabel_Müller_2007, place={Paderborn}, series={C-LAB Report}, title={Simulation mit abstrakten RTOS Modellen in SystemC}, volume={6}, number={4}, author={Zabel, Henning and Müller, Wolfgang}, year={2007}, collection={C-LAB Report} }"},"volume":6,"type":"conference","department":[{"_id":"672"}],"_id":"37076","status":"public","date_created":"2023-01-17T12:11:18Z","year":"2007","author":[{"first_name":"Henning","last_name":"Zabel","full_name":"Zabel, Henning"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"user_id":"5786","publication_identifier":{"issn":["1619-7879"]}}