---
_id: '33813'
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."
author:
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Andreas
  full_name: Gerstlauer, Andreas
  last_name: Gerstlauer
citation:
  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>'
  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>
  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} }'
  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>.'
  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.'
  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>.
  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.'
date_created: 2022-10-18T10:45:06Z
date_updated: 2022-10-18T10:55:55Z
department:
- _id: '672'
doi: 10.1007/978-1-4020-9436-1_9
editor:
- first_name: Wolfgang
  full_name: Ecker, Wolfgang
  last_name: Ecker
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
- first_name: Rainer
  full_name: Dömer, Rainer
  last_name: Dömer
keyword:
- RTOS Modelling
- RTOS Simulation
- SystemC
- Task Scheduling
- Interrupt Analysis
language:
- iso: eng
page: 233-260
place: Dordrecht
publication: Hardware Dependent Software - Principles and Practice
publication_identifier:
  isbn:
  - 978-1-4020-9435-4
publisher: Springer Verlag
status: public
title: Accurate RTOS Modelling and Analysis with SystemC
type: book_chapter
user_id: '5786'
year: '2009'
...