P. Kuacharoen, M. A. Shalan, and V. Mooney, A Configurable Hardware Scheduler for Real-Time Systems, Proceedings of the IEEE International Conference of Computer Design : VLSI in Computers and Processors, 2003.

W. Burleson, J. Ko, D. Niehaus, K. Ramamritham, J. A. Stankovic et al., The spring scheduling coprocessor: a scheduling accelerator, Very Large Scale Integration (VLSI) Systems, 1999.
DOI : 10.1109/92.748199

P. Kohout, B. Ganesh, and B. Jacob, Hardware support for real-time operating systems, Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign & system synthesis , CODES+ISSS '03, 2003.
DOI : 10.1145/944654.944656

L. Lindh, Fastchart-a fast time deterministic CPU and hardware based real-time-kernel, Proceedings. EUROMICRO `91 Workshop on Real-Time Systems, pp.36-40, 1991.
DOI : 10.1109/EMWRT.1991.144077

J. J. Labrosse, Microc/os-ii : the Real-Time Kernel, 1999.

F. Loiret, J. Navas, O. Lobry, and J. Babau, Component-Based Real-Time Operating System for Embedded Applications, Proceedings of the International Symposium on Component Based Software Engineering, 2009.
DOI : 10.1109/2.825699

URL : https://hal.archives-ouvertes.fr/inria-00437949

X. Inc, Virtex 5 Familly Overview, 2009.

X. Inc, MicroBlaze Processor Reference Guide, 2008.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-12, 2006.
DOI : 10.1002/spe.767

M. Anne, Think: View-Based Support of Non-functional Properties in Embedded Systems, 2009 International Conference on Embedded Software and Systems, 2009.
DOI : 10.1109/ICESS.2009.30

. Opencores, WISHBONE B4 System-on-Chip (SoC) Interconnection Architecture for Portable IP Cores, 2010.