A. Gaisler, Dual core LEON4 SPARC V8 Processor LEON4-ASIC-DEMO, Data Sheet and User's Manual, 2011.

S. Anssi, S. Tucci-pergiovanni, C. Mraidha, A. Albinet, F. Terrier et al., Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applications. Embedded Real Time Software and Systems, 2010.

S. K. Baruah, N. K. Cohen, C. G. Plaxton, and D. A. Varvel, Proportionate progress, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.600-625, 1996.
DOI : 10.1145/167088.167194

K. Basu, A. Choudhary, J. Pisharath, and M. Kandemir, Power protocol: reducing power dissipation on off-chip data buses, 35th Annual IEEE/ACM International Symposium on Microarchitecture, 2002. (MICRO-35). Proceedings., pp.345-355, 2002.
DOI : 10.1109/MICRO.2002.1176262

S. Borkar, Thousand core chips, Proceedings of the 44th annual conference on Design automation, DAC '07, pp.746-749, 2007.
DOI : 10.1145/1278480.1278667

A. Brekling, M. R. Hansen, and J. Madsen, MoVES — A framework for modelling and verifying embedded systems, 2009 International Conference on Microelectronics, ICM, pp.149-152, 2009.
DOI : 10.1109/ICM.2009.5418667

A. Burchard, J. Liebeherr, Y. Oh, and S. Son, New strategies for assigning real-time tasks to multiprocessor systems, IEEE Transactions on Computers, vol.44, issue.12, pp.1429-1442, 1995.
DOI : 10.1109/12.477248

J. Carpenter, S. Funk, P. Holman, A. Srinivasan, J. Anderson et al., A categorization of real-time multiprocessor scheduling problems and algorithms editor, Handbook of Scheduling: Algorithms, Models, and Performance Analysis, 2003.

H. Cho, B. Ravindran, and D. Jensen, An optimal real-time scheduling algorithm for multiprocessors, Proceedings of the 27th IEEE International Real-Time Systems Symposium, pp.101-110, 2006.

E. G. Coffman, G. Galambos, S. Martello, and D. Vigo, Bin Packing Approximation Algorithms: Combinatorial Analysis, 1998.
DOI : 10.1007/978-1-4757-3023-4_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.9527

M. Deubzer, M. Hobelsberger, J. Mottok, F. Schiller, R. Dumke et al., Modeling and simulation of embedded real-time multicore systems, Proceedings of the 3rd Embedded Software Engineering Congress, pp.228-241, 2010.

P. Feiler, B. Lewis, and S. Vestal, The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering, Workshop on Model-Driven Embedded Systems, 2003.

J. Y. Leung and J. Whitehead, On the complexity of fixed-priority scheduling of periodic, real-time tasks. Performance evaluation, pp.237-250, 1982.

C. L. Liu and J. W. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

A. Magdich, Y. H. Kacem, A. Mahfoudhi, and M. Abid, A MARTE Extension for Global Scheduling Analysis of Multiprocessor Systems, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, pp.371-379, 2012.
DOI : 10.1109/ISSRE.2012.2

S. Rubini, F. Singhoff, and J. Hugues, Modeling and Verification of Memory Architectures with AADL and REAL, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.338-343, 2011.
DOI : 10.1109/ICECCS.2011.40
URL : https://hal.archives-ouvertes.fr/hal-00801329

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: a Flexible Real-Time Scheduling Framework, ACM SIGAda Ada Letters, vol.24, issue.4, pp.1-8, 2004.

C. Van-berkel, Multi-core for mobile phones, 2009 Design, Automation & Test in Europe Conference & Exhibition, pp.1260-1265, 2009.
DOI : 10.1109/DATE.2009.5090858