Accurate RTOS Modelling and Analysis with SystemC
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.
Download
No fulltext has been uploaded.
Book Chapter
| English
Author
Zabel, Henning;
Müller, WolfgangLibreCat;
Gerstlauer, Andreas
Book Editor
Ecker, Wolfgang;
Müller, Wolfgang;
Dömer, Rainer
Abstract
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.
Publishing Year
Book Title
Hardware Dependent Software - Principles and Practice
Page
233-260
ISBN
LibreCat-ID
Cite this
Zabel H, Müller W, Gerstlauer A. Accurate RTOS Modelling and Analysis with SystemC. In: Ecker W, Müller W, Dömer R, eds. Hardware Dependent Software - Principles and Practice. Springer Verlag; 2009:233-260. doi:10.1007/978-1-4020-9436-1_9
Zabel, H., Müller, W., & Gerstlauer, A. (2009). Accurate RTOS Modelling and Analysis with SystemC. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 233–260). Springer Verlag. https://doi.org/10.1007/978-1-4020-9436-1_9
@inbook{Zabel_Müller_Gerstlauer_2009, place={Dordrecht}, title={Accurate RTOS Modelling and Analysis with SystemC}, DOI={10.1007/978-1-4020-9436-1_9}, 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} }
Zabel, Henning, Wolfgang Müller, and Andreas Gerstlauer. “Accurate RTOS Modelling and Analysis with SystemC.” In Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 233–60. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_9.
H. Zabel, W. Müller, and A. Gerstlauer, “Accurate RTOS Modelling and Analysis with SystemC,” in Hardware Dependent Software - Principles and Practice, 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.” Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker et al., Springer Verlag, 2009, pp. 233–60, doi:10.1007/978-1-4020-9436-1_9.
Google Scholar
ISBN Search