M. Khalgui and H. M. Hanisch, Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems, International Journal of Modelling, Identification and Control, vol.12, issue.3, pp.223-243, 2011.

D. Schmidt, Model-driven engineering, IEEE Computer, vol.39, issue.2, 2006.

, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.0, 2009.

T. Bihari and K. Schwan, Dynamic adaptation of real-time software, ACMTrans. Comput. Syst, vol.9, pp.143-174, 1991.

N. Subramanian and L. Chung, Architecture -Driven Embedded Systems Adaptation for Supporting Vocabulary Evolution, Principles of Software Evolution, International Symposium on, vol.0, p.144

M. Lehman and J. Ramil, Towards a Theory of Software Evolution _ And its practical impact (working paper)," Invited Talk, Proceedings Intl. Symposium on Principles of Softw. Evolution, pp.2-11, 2000.

P. Oreizy, M. M. Gorlick, and R. N. Taylor, An architecture based approach to self-adaptive software, IEEE Intelligent Systems and Their Applications, vol.14, issue.3, pp.54-62, 1999.

M. B. Said, Y. H. Kacem, M. Kerboeuf, N. B. Amor, and M. Abid, Design patterns for self-adaptive RTE systems specification, International Journal of Reconfigurable Computing, vol.2014, issue.8, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01107504

S. Cherif, I. R. Quadri, S. Meftali, and J. Dekeyser, Modeling reconfigurable Systems-on-Chips with UML MARTE profile: an exploratory analysis, Proceedings of the 13th Euromicro Conference on Digital System Design, pp.706-713, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00525004

M. Boukhanoufa, A. Radermacher, and F. Terrier, Towards a modeldriven engineering approach for developing adaptive real-time embedded systems, New Technologies of Distributed Systems, pp.261-266, 2010.

M. Boukhanoufa, A. Radermacher, and F. Terrier, Offline validation of real-time application constraints considering adaptation rules, International Conference on Trust, Security and Privacy in Computing and Communications, pp.974-980, 2011.

A. Magdich, Y. H. Kacem, A. Mahfoudhi, and M. Abid, A MARTE extension for global scheduling analysis of multiprocessor systems, International Symposium on Software Reliability Engineering, pp.371-379, 2012.

S. Rubini, C. Fotsing, P. Dissaux, F. Singhoff, and H. N. Tran, Scheduling analysis from architectural models of embedded multiprocessor systems, ACM SIGBED Review, vol.11, issue.1, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00983407

A. Radermacher, C. Mraidha, S. Tucci-piergiovanni, and S. Gérard, Generation of schedulable real-time component implementations, International Conference on Emerging Technologies and Factory Automation, pp.1-4, 2010.

B. M. Khurram, B. Cécile, and A. Michel, Two level hierarchical scheduling algorithm for real-time multiprocessor systems, Journal of software, vol.6, issue.11, pp.2308-2320, 2011.

A. Magdich, Y. H. Kacem, and M. Kerboeuf, A uml/marte-based design pattern for semi-partitioned scheduling analysis, International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, pp.300-305, 2014.

A. Magdich, Y. H. Kacem, and A. Mahfoudhi, Extending uml/martegrm for integrating tasks migrations in class diagrams, In Software Engineering Research, Management and Applications, vol.496, pp.73-84, 2013.

M. Naija, S. B. Ahmed, J. , and B. , New schedulability analysis for real-time systems based on MDE and petri nets model at early design stages, International Conference on Software Engineering and Applications, pp.330-338, 2015.

M. Naija, S. B. Ahmed, J. , and B. , Aid to design and reconfiguration of the MPSOC architectures, WSMEAP, 2015.

F. Singhoff, J. Legrand, L. Nana, and L. Marc, Cheddar : a flexible real time scheduling framework, ACM SIGAda Ada Letters, 2004.