@inproceedings{10779,
  author       = {{Guettatfi, Zakarya and Kermia, Omar and Khouas, Abdelhakim}},
  booktitle    = {{25th International Conference on Field Programmable Logic and Applications (FPL)}},
  issn         = {{1946-147X}},
  keywords     = {{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}},
  publisher    = {{Imperial College}},
  title        = {{{Over effective hard real-time hardware tasks scheduling and allocation}}},
  doi          = {{10.1109/FPL.2015.7293994}},
  year         = {{2015}},
}

@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}},
}