@inbook{33813,
  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.}},
  author       = {{Zabel, Henning and Müller, Wolfgang and Gerstlauer, Andreas}},
  booktitle    = {{Hardware Dependent Software - Principles and Practice}},
  editor       = {{Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}},
  isbn         = {{978-1-4020-9435-4}},
  keywords     = {{RTOS Modelling, RTOS Simulation, SystemC, Task Scheduling, Interrupt Analysis}},
  pages        = {{233--260}},
  publisher    = {{Springer Verlag}},
  title        = {{{Accurate RTOS Modelling and Analysis with SystemC}}},
  doi          = {{10.1007/978-1-4020-9436-1_9}},
  year         = {{2009}},
}

@inbook{33814,
  abstract     = {{Rapidly rising system complexity has created a growing productivity gap in the
design of electronic systems. One critical component is Hardware-dependent
Software (HdS), the importance of which is often underestimated. In this chap-
ter, we introduce HdS and illustrate its role in the overall system design context.
We also provide a brief overview and define a basic HdS terminology and con-
clude with a brief outlook over the following chapters in this book.}},
  author       = {{Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}},
  booktitle    = {{Hardware Dependent Software - Principles and Practice}},
  editor       = {{Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}},
  isbn         = {{978-1-4020-9435-4}},
  keywords     = {{Hardware-dependent Software, Systems Complexity, Productivity Gap}},
  pages        = {{1--14}},
  publisher    = {{Springer Verlag}},
  title        = {{{Hardware-dependent Software - Introduction and Overview}}},
  doi          = {{10.1007/978-1-4020-9436-1_1}},
  year         = {{2009}},
}

@inbook{33809,
  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.}},
  author       = {{Zabel, Henning and Müller, Wolfgang and Gerstlauer, Andreas}},
  booktitle    = {{Hardware Dependent Software - Principles and Practice}},
  editor       = {{Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}},
  isbn         = {{978-1-4020-9435-4}},
  pages        = {{233--260}},
  publisher    = {{Springer Verlag}},
  title        = {{{Accurate RTOS Modelling and Analysis with SystemC}}},
  year         = {{2009}},
}