A Configurable Hardware Scheduler for Real-Time Systems, Proceedings of the IEEE International Conference of Computer Design : VLSI in Computers and Processors, 2003. ,
The spring scheduling coprocessor: a scheduling accelerator, Very Large Scale Integration (VLSI) Systems, 1999. ,
DOI : 10.1109/92.748199
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
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
Microc/os-ii : the Real-Time Kernel, 1999. ,
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
Virtex 5 Familly Overview, 2009. ,
MicroBlaze Processor Reference Guide, 2008. ,
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
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
WISHBONE B4 System-on-Chip (SoC) Interconnection Architecture for Portable IP Cores, 2010. ,