---
_id: '10779'
author:
- first_name: Zakarya
  full_name: Guettatfi, Zakarya
  last_name: Guettatfi
- first_name: Omar
  full_name: Kermia, Omar
  last_name: Kermia
- first_name: Abdelhakim
  full_name: Khouas, Abdelhakim
  last_name: Khouas
citation:
  ama: 'Guettatfi Z, Kermia O, Khouas A. Over effective hard real-time hardware tasks
    scheduling and allocation. In: <i>25th International Conference on Field Programmable
    Logic and Applications (FPL)</i>. Imperial College; 2015. doi:<a href="https://doi.org/10.1109/FPL.2015.7293994">10.1109/FPL.2015.7293994</a>'
  apa: Guettatfi, Z., Kermia, O., &#38; Khouas, A. (2015). Over effective hard real-time
    hardware tasks scheduling and allocation. In <i>25th International Conference
    on Field Programmable Logic and Applications (FPL)</i>. Imperial College. <a href="https://doi.org/10.1109/FPL.2015.7293994">https://doi.org/10.1109/FPL.2015.7293994</a>
  bibtex: '@inproceedings{Guettatfi_Kermia_Khouas_2015, title={Over effective hard
    real-time hardware tasks scheduling and allocation}, DOI={<a href="https://doi.org/10.1109/FPL.2015.7293994">10.1109/FPL.2015.7293994</a>},
    booktitle={25th International Conference on Field Programmable Logic and Applications
    (FPL)}, publisher={Imperial College}, author={Guettatfi, Zakarya and Kermia, Omar
    and Khouas, Abdelhakim}, year={2015} }'
  chicago: Guettatfi, Zakarya, Omar Kermia, and Abdelhakim Khouas. “Over Effective
    Hard Real-Time Hardware Tasks Scheduling and Allocation.” In <i>25th International
    Conference on Field Programmable Logic and Applications (FPL)</i>. Imperial College,
    2015. <a href="https://doi.org/10.1109/FPL.2015.7293994">https://doi.org/10.1109/FPL.2015.7293994</a>.
  ieee: Z. Guettatfi, O. Kermia, and A. Khouas, “Over effective hard real-time hardware
    tasks scheduling and allocation,” in <i>25th International Conference on Field
    Programmable Logic and Applications (FPL)</i>, 2015.
  mla: Guettatfi, Zakarya, et al. “Over Effective Hard Real-Time Hardware Tasks Scheduling
    and Allocation.” <i>25th International Conference on Field Programmable Logic
    and Applications (FPL)</i>, Imperial College, 2015, doi:<a href="https://doi.org/10.1109/FPL.2015.7293994">10.1109/FPL.2015.7293994</a>.
  short: 'Z. Guettatfi, O. Kermia, A. Khouas, in: 25th International Conference on
    Field Programmable Logic and Applications (FPL), Imperial College, 2015.'
date_created: 2019-07-10T12:11:36Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
doi: 10.1109/FPL.2015.7293994
extern: '1'
keyword:
- embedded systems
- field programmable gate arrays
- operating systems (computers)
- scheduling
- μC/OS-II
- FPGAs
- OS foundation
- SafeRTOS
- Xenomai
- chip utilization ration
- complex time constraints
- embedded systems
- hard real-time hardware task allocation
- hard real-time hardware task scheduling
- hardware-software real-time operating systems
- partially reconfigurable field-programmable gate arrays
- resource constraints
- safety-critical RTOS
- Field programmable gate arrays
- Hardware
- Job shop scheduling
- Real-time systems
- Shape
- Software
language:
- iso: eng
publication: 25th International Conference on Field Programmable Logic and Applications
  (FPL)
publication_identifier:
  issn:
  - 1946-147X
publisher: Imperial College
status: public
title: Over effective hard real-time hardware tasks scheduling and allocation
type: conference
user_id: '398'
year: '2015'
...
---
_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'
...