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.

J. Stankovic, S. H. Son, and J. Hansson, Misconceptions about real-time databases, Computer, vol.32, issue.6, pp.29-36, 1999.
DOI : 10.1109/2.769440

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

L. Sha, T. Abdelzaher, K. Arzén, A. Cervin, T. Baker et al., Real Time Scheduling Theory: A Historical Perspective, Real-Time Systems, vol.28, issue.2/3, pp.101-155, 2004.
DOI : 10.1023/B:TIME.0000045315.61234.1e

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

J. Stankovic, M. Spuri, M. D. Natale, and G. C. Buttazzo, Implications of classical scheduling results for real-time systems, Computer, vol.28, issue.6, pp.16-25, 1995.
DOI : 10.1109/2.386982

L. Cucu and J. Goossens, Feasibility intervals for fixed-priority realtime scheduling on uniform multiprocessors, Emerging Technologies and Factory Automation, pp.397-404, 2006.

M. Harbour, J. Gutierrez, J. Drake, P. Martinez, and J. Palencia, Modeling distributed real-time systems with MAST 2, Journal of Systems Architecture, vol.59, issue.6, pp.331-340, 2013.
DOI : 10.1016/j.sysarc.2012.02.001

T. S. Inc, Tri-pacific software inc. : RAPID-RMA, 2014.

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System level performance analysis -the SymTA/s approach, IEE Proceedings -Computers and Digital Techniques, p.148, 2005.

T. Frédéric, S. Gérard, and J. Delatour, Towards an UML 2.0 profile for real-time execution platform modeling Work in progress session, Proceedings of the 18th Euromicro Conference on Real-Time Systems (ECRTS 06), 2006.

V. Debruyne, F. Simonot-lion, and Y. Trinquet, EAST-ADL -An architecture description language Book on Architecture Description Languages, IFIP International Federation for Information Processing, pp.181-195, 2005.

P. Merle and J. Stefani, A formal specification of the Fractal component model in Alloy, INRIA Research Report, vol.6721, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00338987

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.

N. Medvidovic and R. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2009.
DOI : 10.1109/32.825767

URL : https://hal.archives-ouvertes.fr/hal-00444077

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

P. H. Feiler and D. P. Gluch, Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 2012.

M. Omg, Modeling and analysis of real-time and embedded systems, Object Management Group, 2008.

S. Li, F. Singhoff, S. Rubini, and M. Bourdelì-es, Applicability of realtime schedulability analysis on a software radio protocol, ACM SIGAda Ada Letters, vol.32, issue.3, pp.81-94

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Scheduling and memory requirements analysis with aadl, ACM SIGAda Ada Letters, pp.1-10, 2005.

C. Fotsing, F. Singhoff, A. Plantec, V. Gaudel, S. Rubini et al., Cheddar architecture description language, 2014.

R. I. Davis and A. Burns, A survey of hard real-time scheduling for multiprocessor systems, ACM Computing Surveys, vol.43, issue.4, pp.1-35, 2011.
DOI : 10.1145/1978802.1978814

L. Sha, R. Rajkumar, and J. P. Lehoczky, Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, vol.39, issue.9, pp.1175-1185, 1990.
DOI : 10.1109/12.57058

K. Almeida, J. Craveiro, R. Pinto, and J. Rufino, Spaceborne software: typical spacecraft use-case and preliminary analysis of its timing requirements, 2013.

V. Gaudel, Applicabilité des méthodes d'analyse et interopérabilité des outils de développement pour systèmes embarqués temps-réel critiques, Thèse de l'Université de Bretagne Occidentale, 2014.

S. Li, F. Singhoff, S. Rubini, and M. Bourdelles, Extending schedulability tests of tree-shaped transactions for TDMA radio protocols, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), pp.1-8, 2014.
DOI : 10.1109/ETFA.2014.7005122

URL : https://hal.archives-ouvertes.fr/hal-01121229

A. Easwaran, I. Lee, O. Sokolsky, and S. Vestal, A Compositional Scheduling Framework for Digital Avionics Systems, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp.371-380, 2009.
DOI : 10.1109/RTCSA.2009.46

M. Joseph and P. Pandya, Finding Response Times in a Real-Time System, The Computer Journal, vol.29, issue.5, pp.390-395, 1986.
DOI : 10.1093/comjnl/29.5.390

J. Carpenter, S. Funk, P. Holman, A. Srinivasan, J. Anderson et al., A categorization of real-time multiprocessor scheduling problems and algorithms Handbook on scheduling algorithms, methods , and models, pp.30-31, 2004.

N. C. Audsley, A. Burns, M. F. Richardson, and A. J. Wellings, realtime scheduling: the deadline-monotonic approach, Proc. IEEE Workshop on Real-Time Operating Systems and Software, pp.133-137, 1991.

]. N. Audsley, Optimal priority assignment and feasibility of static priority tasks with arbitrary start times Real-Time Systems, 1991.

H. Tran, F. Singhoff, S. Rubini, and J. Boukhobza, Addressing cache related preemption delay in fixed priority assignment, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), 2015.
DOI : 10.1109/ETFA.2015.7301405

URL : https://hal.archives-ouvertes.fr/hal-01166127

S. A. Aldarmi and A. Burns, Dynamic value-density for scheduling real-time systems, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99, pp.270-277, 1999.
DOI : 10.1109/EMRTS.1999.777474

A. Plantec, Faciliter la vérification et la validation de méta modèles dans le cadre de l'ingénierie dirigée par les modèles : une approche agile outillée et orientée données, 2012.

A. Plantec and V. Ribaud, PLATYPUS: A STEP-based Integration Framework, 14th Interdisciplinary Information Management Talks (IDIMT-2006), pp.261-274, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00504325

F. Singhoff and A. Plantec, Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar, Proceedings of the 12th international conference on Reliable software technologies, ser. Ada- Europe'07, pp.180-191, 2007.
DOI : 10.1007/978-3-540-73230-3_14

URL : https://hal.archives-ouvertes.fr/hal-00502360

P. Mohagheghi and V. Dehlen, Where is the proof? -a review of experiences from applying mde in industry on Model Driven Architecture: Foundations and Applications, ser. ECMDA-FA '08, Proceedings of the 4th European conference, pp.432-443, 2008.

P. Dissaux, O. Marc, S. Rubini, C. Fotsing, V. Gaudel et al., The smart project: Multiagent scheduling simulation of real-time architectures, Embedded Real Time Software and Systems, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00983724

E. Conquet, M. Perrotin, P. Dissaux, T. Tsiodras, and J. Hugues, The taste toolset: turning human designed heterogeneous systems into computer built homogeneous software, 5th European Congress ERTSS Embedded Real Time Software and System, 2010.

F. Cadoret, E. Borde, S. Gardoll, and L. Pautet, Design patterns for rule-based refinement of safety critical embedded systems models, 17th International Conference on Engineering of Complex Computer Systems (ICECCS), pp.67-76, 2012.

E. Borde, S. Rahmoun, F. Cadoret, L. Pautet, F. Singhoff et al., Architecture models refinement for fine grain timing analysis of embedded systems, 2014 25nd IEEE International Symposium on Rapid System Prototyping, pp.44-50, 2014.
DOI : 10.1109/RSP.2014.6966691

URL : https://hal.archives-ouvertes.fr/hal-01115723

C. Castellanos, T. Vergnaud, E. Borde, T. Derive, and L. Pautet, Automatic Production of Transformation Chains Using Structural Constraints on Output Models, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014.
DOI : 10.1109/SEAA.2014.13

URL : https://hal.archives-ouvertes.fr/hal-01115708

G. Loniewski, E. Borde, D. Blouin, and E. Insfran, An automated approach for architectural model transformations, 22nd International Conference on Information Systems Development (ISD2013), 2013.

P. Caspi, A. Sangiovanni-vincentelli, L. Almeida, A. Benveniste, B. Bouyssounouse et al., Guidelines for a graduate curriculum on embedded software and systems, ACM Transactions on Embedded Computing Systems, vol.4, issue.3, pp.587-611, 2005.
DOI : 10.1145/1086519.1086526