{"keyword":["RTOS Modelling","RTOS Simulation","SystemC","Task Scheduling","Interrupt Analysis"],"department":[{"_id":"672"}],"user_id":"5786","place":"Dordrecht","publisher":"Springer Verlag","citation":{"short":"H. Zabel, W. Müller, A. Gerstlauer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 233–260.","chicago":"Zabel, Henning, Wolfgang Müller, and Andreas Gerstlauer. “Accurate RTOS Modelling and Analysis with SystemC.” In <i>Hardware Dependent Software - Principles and Practice</i>, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 233–60. Dordrecht: Springer Verlag, 2009. <a href=\"https://doi.org/10.1007/978-1-4020-9436-1_9\">https://doi.org/10.1007/978-1-4020-9436-1_9</a>.","ama":"Zabel H, Müller W, Gerstlauer A. Accurate RTOS Modelling and Analysis with SystemC. In: Ecker W, Müller W, Dömer R, eds. <i>Hardware Dependent Software - Principles and Practice</i>. Springer Verlag; 2009:233-260. doi:<a href=\"https://doi.org/10.1007/978-1-4020-9436-1_9\">10.1007/978-1-4020-9436-1_9</a>","bibtex":"@inbook{Zabel_Müller_Gerstlauer_2009, place={Dordrecht}, title={Accurate RTOS Modelling and Analysis with SystemC}, DOI={<a href=\"https://doi.org/10.1007/978-1-4020-9436-1_9\">10.1007/978-1-4020-9436-1_9</a>}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang and Gerstlauer, Andreas}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={233–260} }","mla":"Zabel, Henning, et al. “Accurate RTOS Modelling and Analysis with SystemC.” <i>Hardware Dependent Software - Principles and Practice</i>, edited by Wolfgang Ecker et al., Springer Verlag, 2009, pp. 233–60, doi:<a href=\"https://doi.org/10.1007/978-1-4020-9436-1_9\">10.1007/978-1-4020-9436-1_9</a>.","apa":"Zabel, H., Müller, W., &#38; Gerstlauer, A. (2009). Accurate RTOS Modelling and Analysis with SystemC. In W. Ecker, W. Müller, &#38; R. Dömer (Eds.), <i>Hardware Dependent Software - Principles and Practice</i> (pp. 233–260). Springer Verlag. <a href=\"https://doi.org/10.1007/978-1-4020-9436-1_9\">https://doi.org/10.1007/978-1-4020-9436-1_9</a>","ieee":"H. Zabel, W. Müller, and A. Gerstlauer, “Accurate RTOS Modelling and Analysis with SystemC,” in <i>Hardware Dependent Software - Principles and Practice</i>, W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp. 233–260."},"editor":[{"first_name":"Wolfgang","full_name":"Ecker, Wolfgang","last_name":"Ecker"},{"last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Dömer","full_name":"Dömer, Rainer","first_name":"Rainer"}],"doi":"10.1007/978-1-4020-9436-1_9","abstract":[{"lang":"eng","text":"Today, mobile and embedded real-time systems have to cope with the migration\r\nand allocation of multiple software tasks running on top of a real-time operating\r\nsystem (RTOS) residing on one or several system processors. Each RTOS has to\r\nbe configured towards the individual needs of the application and environment.\r\nFor this, different scheduling strategies and task priorities have to be evaluated in\r\norder to keep execution and response times for a given task set. Abstract RTOS\r\nsimulation is applied to analyze different parameters in early design phases. This\r\nchapter presents a SystemC RTOS library for abstract yet accurate RTOS sim-\r\nulation, supporting modeling of preemption in the presence of prioritized and\r\nnested interrupts. After introducing basic principles of abstract RTOS simula-\r\ntion, we present our SystemC library in detail. Thereafter, we discuss related\r\napproaches and close with applications in electronic automotive systems design\r\nand some evaluations."}],"status":"public","author":[{"last_name":"Zabel","full_name":"Zabel, Henning","first_name":"Henning"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"first_name":"Andreas","full_name":"Gerstlauer, Andreas","last_name":"Gerstlauer"}],"date_updated":"2022-10-18T10:55:55Z","year":"2009","_id":"33813","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-1-4020-9435-4"]},"type":"book_chapter","page":"233-260","title":"Accurate RTOS Modelling and Analysis with SystemC","date_created":"2022-10-18T10:45:06Z","publication":"Hardware Dependent Software - Principles and Practice"}