book chapter Henning Zabel author Wolfgang Müller author 16243 Andreas Gerstlauer author WolfgangEcker editor WolfgangMüller editor RainerDömer editor 672 department Today, mobile and embedded real-time systems have to cope with the migration and allocation of multiple software tasks running on top of a real-time operating system (RTOS) residing on one or several system processors. Each RTOS has to be configured towards the individual needs of the application and environment. For this, different scheduling strategies and task priorities have to be evaluated in order to keep execution and response times for a given task set. Abstract RTOS simulation is applied to analyze different parameters in early design phases. This chapter presents a SystemC RTOS library for abstract yet accurate RTOS sim- ulation, supporting modeling of preemption in the presence of prioritized and nested interrupts. After introducing basic principles of abstract RTOS simula- tion, we present our SystemC library in detail. Thereafter, we discuss related approaches and close with applications in electronic automotive systems design and some evaluations. Springer Verlag2009 eng RTOS ModellingRTOS SimulationSystemCTask SchedulingInterrupt Analysis 978-1-4020-9435-410.1007/978-1-4020-9436-1_9 233-260 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. 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>. 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> @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} } 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. 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> 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>. 338132022-10-18T10:45:06Z2022-10-18T10:55:55Z