J. H. Anderson, S. Ramamurthy, and K. Jeffay, Real-time computing with lock-free shared objects, ACM Transactions on Computer Systems, vol.15, issue.2, pp.134-165, 1997.
DOI : 10.1145/253145.253159

C. Aussagues and V. David, A method and a technique to model and ensure timeliness in safety critical real-time systems, Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193), pp.2-12, 1998.
DOI : 10.1109/ICECCS.1998.706651

T. P. Baker, Stack-based scheduling for realtime processes. Real-Time Syst, pp.67-99, 1991.

D. Balasubramanian, A. Narayanan, C. Van-buskirk, and G. Karsai, The graph rewriting and transformation language : Great, Electronic Communications of the EASST, vol.1, 2006.

S. Becker, Coupled model transformations, Proceedings of the 7th international workshop on Software and performance, WOSP '08, pp.103-114, 2008.
DOI : 10.1145/1383559.1383573

X. Blanc, I. Mounier, A. Mougenot, and T. Mens, Detecting model inconsistency through operation-based model construction, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.511-520, 2008.
DOI : 10.1145/1368088.1368158
URL : https://hal.archives-ouvertes.fr/hal-01303728

J. Blazewicz, Scheduling dependent tasks with different arrival times to meet deadlines The Netherlands, The Netherlands, Proceedings of the International Workshop Organized by the Commision of the European Communities on Modelling and Performance Evaluation of Computer Systems, pp.57-65, 1977.

D. Blouin, E. Senn, and S. Turki, Defining an annex language to the architecture analysis and design language for requirements engineering activities support, 2011 Model-Driven Requirements Engineering Workshop, pp.11-20, 2011.
DOI : 10.1109/MoDRE.2011.6045362
URL : https://hal.archives-ouvertes.fr/hal-00760340

E. Bruneton, T. Coupaye, and J. Stefani, The fractal composition framework . Proposed Final Draft of Interface Specification Version 0 The ObjectWeb Consortium, 2002.

F. Budinsky, S. A. Brodsky, and E. Merks, Eclipse Modeling Framework, 2003.

G. C. Buttazzo, Hard Real-time Computing Systems : Predictable Scheduling Algorithms And Applications (Real-Time Systems Series), 2004.
DOI : 10.1007/0-387-27578-9

J. Bézivin, C. Brunette, R. Chevrel, F. Jouault, and I. Kurtev, Bridging the generic modeling environment (gme) and the eclipse modeling framework, Proceedings of the OOPSLA Workshop on Best Practices for Model Driven Software Development, 2005.

H. and R. Callison, A time-sensitive object model for real-time systems, ACM Transactions on Software Engineering and Methodology, vol.4, issue.3, pp.287-317, 1995.
DOI : 10.1145/214013.214021

H. Chetto, M. Silly, and T. Bouchentouf, Dynamic scheduling of real-time tasks under precedence constraints. Real-Time Syst, pp.181-194, 1990.

H. Cho, B. Ravindran, and E. D. Jensen, Space-Optimal, Wait-Free Real-Time Synchronization, IEEE Transactions on Computers, vol.56, issue.3, pp.373-384, 2007.
DOI : 10.1109/TC.2007.51

G. Csertdn, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza et al., VIATRA - visual automated transformations for formal verification and validation of UML models, Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp.267-270, 2002.
DOI : 10.1109/ASE.2002.1115027

K. Czarnecki and S. Helsen, Classification of model transformation approaches, OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture, 2003.

V. David, C. Aussaguès, S. Louise, P. Hilsenkopf, B. Ortolo et al., The oasis based qualified display system. Fourth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Controls and Human-Machine Interface Technologies, p.11, 2004.

J. Delange, L. Pautet, and F. Kordon, Code Generation Strategies for Partitioned Systems, 29th IEEE Real-Time Systems Symposium (RTSS'08), pp.53-56, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01303791

J. Delange and L. Lec, Pok, an arinc653-compliant operating system released under the bsd license. 13th Real-Time Linux Workshop, p.2011

R. Djenidi, C. Lavarenne, R. Nikoukhah, Y. Sorel, and S. Steer, From hybrid system simulation to real-time implementation, Proceedings of 11th European Simulation Symposium and Exhibition, ESS'99, 1999.

F. Horn and F. Delpiano, The kilim configuration framework, 2002.

K. Fabrice, . Hugues-jérôme, and . Agusti, Modélisation et analyse de systèmes embarqués, 2013.

P. Feiler, Open source aadl tool environment (osate) A practical guide to SysML : the systems modeling language. Access Online via, AADL Workshop, 2004.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns : elements of reusable object-oriented software, 1995.

N. Ge and M. Pantel, Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems, ECMFA, pp.352-367, 2012.
DOI : 10.1007/978-3-642-31491-9_27
URL : https://hal.archives-ouvertes.fr/hal-00675778

A. Gerber, M. Lawley, K. Raymond, J. Steel, and A. Wood, Transformation: The Missing Link of MDA, Proceedings of the First International Conference on Graph Transformation, ICGT '02, pp.90-105, 2002.
DOI : 10.1007/3-540-45832-8_9

O. Gilles and J. Hugues, Applying wcet analysis at architectural level, of OASICS. Internationales Begegnungs-und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, 2008.

O. Gilles and J. Hugues, Expressing and Enforcing User-Defined Constraints of AADL Models, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, pp.337-342, 2010.
DOI : 10.1109/ICECCS.2010.26

T. Grandpierre, C. Lavarenne, and Y. Sorel, Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors, Proceedings of the seventh international workshop on Hardware/software codesign , CODES '99, 1999.
DOI : 10.1145/301177.301489

T. Grandpierre and Y. Sorel, From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings., 2003.
DOI : 10.1109/MEMCOD.2003.1210097

A. Hamez, L. Hillah, F. Kordon, A. Linard, E. Paviot-adet et al., New features in CPN-AMI 3: focusing on the analysis of complex distributed systems, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), pp.273-275, 2006.
DOI : 10.1109/ACSD.2006.15
URL : https://hal.archives-ouvertes.fr/hal-01351775

M. G. Harbour, J. J. Gutiérrez-garcía, J. C. Gutiérrez, J. M. Drake, and . Moyano, Mast : Modeling and analysis suite for real time applications, 13th Euromicro Conference on Real-Time Systems, p.125, 2001.

Z. Hemel, C. L. Lennart, E. Kats, and . Visser, Code Generation by Model Transformation, Proceedings of the 1st international conference on Theory and Practice of Model Transformations, ICMT '08, pp.183-198, 2008.
DOI : 10.1007/978-3-540-69927-9_13

A. Thomas, C. M. Henzinger, and . Kirsch, The embedded machine : Predictable, portable real-time code, ACM Trans. Program. Lang. Syst, vol.29, issue.6, 2007.

M. Herlihy, A methodology for implementing highly concurrent data objects, ACM Transactions on Programming Languages and Systems, vol.15, issue.5, pp.745-770, 1993.
DOI : 10.1145/161468.161469

B. Horowitz, Giotto : a time-triggered language for embedded programming, 2003.

H. Huang, P. Pillai, and K. G. Shin, Improving wait-free algorithms for interprocess communication in embedded real-time systems, Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference, ATEC '02, pp.303-316, 2002.

J. Hugues and B. Zalila, PolyORB High Integrity User's Guide, 2007.

J. Hugues, B. Zalila, L. Pautet, and F. Kordon, From the prototype to the final embedded system using the ocarina aadl tool suite, ACM Trans. Embed. Comput. Syst, vol.7, pp.42-43, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01175916

J. Jézéquel, O. Barais, and F. Fleurey, Model driven language engineering with kermeta, Proceedings of the 3rd International Summer School Conference on Generative and Transformational Techniques in Software Engineering III, GTTSE'09, pp.201-221, 2011.

F. Jouault and I. Kurtev, Transforming Models with ATL, Proceedings of the 2005 International Conference on Satellite Events at the MoDELS, MoDELS'05, pp.128-138, 2006.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

F. Jouault, Loosely coupled traceability for atl, Proceedings of the European Conference on Model Driven Architecture (ECMDA) workshop on traceability, pp.29-37, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00448118

C. M. Kirsch, M. A. Sanvido, T. A. Henzinger, and W. Pree, A Giotto-Based Helicopter Control System, Lecture Notes in Computer Science, vol.2491, pp.46-60, 2002.
DOI : 10.1007/3-540-45828-X_5

H. Mark, T. Klein, B. Ralya, R. Pollak, M. Obenza et al., A practitioner's handbook for real-time analysis, 1993.

H. Kopetz and G. Bauer, The time-triggered architecture, Proceedings of the IEEE, pp.112-126, 2003.

H. Kopetz, Event-triggered versus time-triggered real-time systems, Proceedings of the International Workshop on Operating Systems of the 90s and Beyond, pp.87-101, 1991.
DOI : 10.1007/BFb0024530

J. Kovse and T. Härder, Generic XMI-Based UML Model Transformations, Proceedings of the 8th International Conference on Object-Oriented. Information Systems, OOIS '02, pp.192-198, 2002.
DOI : 10.1007/3-540-46102-7_24

J. Kovse and T. Härder, MT-Flow ??? An Environment for Workflow-Supported Model Transformations in MDA, Advanced Information Systems Engineering, pp.160-174, 2004.
DOI : 10.1007/978-3-540-25975-6_13

G. Lasnier, L. Pautet, and J. Hugues, A Model-Based Transformation Process to Validate and Implement High-Integrity Systems, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.67-74, 2011.
DOI : 10.1109/ISORC.2011.18

G. Lasnier, Une Approche Intégrée pour la Validation et la Génération de Systèmes Critiques par Raffinement Incrémental de Modèles Architecturaux

M. Lawley and J. Steel, Practical Declarative Model Transformation with Tefkat, Satellite Events at the MoDELS 2005 Conference, pp.139-150, 2006.
DOI : 10.1007/11663430_15

S. Louise, M. Lemerre, C. Aussagues, and V. David, The OASIS Kernel: A Framework for High Dependability Real-Time Systems, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, pp.95-103, 2011.
DOI : 10.1109/HASE.2011.38

]. F. Mallet, C. Andre, and J. Deantoni, Executing AADL Models with UML/MARTE, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp.371-376, 2009.
DOI : 10.1109/ICECCS.2009.10
URL : https://hal.archives-ouvertes.fr/inria-00416592

F. Mallet, Clock constraint specification language: specifying clock constraints with UML/MARTE, Innovations in Systems and Software Engineering, pp.309-314, 2008.
DOI : 10.1007/s11334-008-0055-2

R. Marvie, A transformation composition framework for model driven engineering, 2004.

J. Stephen, M. Mellor, and . Balcer, Executable UML : A Foundation for Model-Driven Architectures, 2002.

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006.
DOI : 10.1016/j.entcs.2005.10.021

J. Miller and J. Mukerji, Model driven architecture (MDA) Draft, Architecture Board ORMSC, 2001.

P. Muller, F. Fleurey, D. Vojtisek, Z. Drey, D. Pollet et al., On Executable Meta-Languages applied to Model Transformations, Model Transformations In Practice Workshop, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000381

O. Meta, Object Facility (MOF) Specification. Object Management Group, 2000.

O. Meta, Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1, 2011.

Q. Pan, T. Gautier, L. Besnard, and Y. Sorel, Signal to syndex : Translation between synchronous formalisms. internal report, 2003.

R. Pawlak, L. Duchien, G. Florin, and L. Seinturier, JAC: A Flexible Solution for Aspect-Oriented Programming in Java, Metalevel architectures and separation of crosscutting concerns, pp.1-24, 2001.
DOI : 10.1007/3-540-45429-2_1

E. José, D. Rivera, F. Ruiz-gonzalez, J. Lopez-romero, A. Bautista et al., Orchestrating atl model transformations, Proc. of MtATL, pp.34-46, 2009.

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

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar : a flexible real time scheduling framework The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies, Proceedings of the 2004 annual ACM SIGAda international conference on Ada, pp.1-8, 2004.

F. Singhoff, A. Plantec, and P. Dissaux, Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project, Reliable Software Technologies?Ada-Europe, pp.240-253, 2008.
DOI : 10.1007/978-3-540-68624-8_18
URL : https://hal.archives-ouvertes.fr/hal-00502358

C. U. Smith and L. G. Williams, Performance Solutions : a practical guide to creating responsive, scalable software, 2002.

B. David and . Stewart, Measuring execution time and real-time performance, Embedded Systems Conference (ESC), 2001.

G. Tamura and A. Cleve, A Comparison of Taxonomies for Model Transformation Languages, Paradigma, vol.4, issue.1, pp.1-14, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00488765

J. Delcoigne, C. Aussaguès, C. Cordonnier, V. David, and M. Aji, Le modèle de conception oasis/yc pour les systèmes temps-réel complexes critiques, Real-Time & Embedded Systems Conference, 1996.

B. Vanhooff, D. Ayed, S. Van-baelen, W. Joosen, and Y. Berbers, UniTI: A Unified Transformation Infrastructure, Model Driven Engineering Languages and Systems, pp.31-45, 2007.
DOI : 10.1007/978-3-540-75209-7_3

A. Vicard and Y. Sorel, Formalization and static optimization for parallel implementations, Proceedings of Workshop on Distributed and Parallel Systems, DAPSYS'98, 1998.

D. Vojtisek and J. Jézéquel, MTL and Umlaut NG -Engine and Framework for Model Transformation, ERCIM News, vol.58, issue.58, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000953

D. Wagelaar, M. Tisi, J. Cabot, and F. Jouault, Towards a General Composition Semantics for Rule-Based Model Transformation, MoDELS, pp.623-637, 2011.
DOI : 10.1007/11538097_5
URL : https://hal.archives-ouvertes.fr/hal-00642066

D. Edward and . Willink, Umlx : A graphical transformation language for mda, Proceedings of the Workshop on Model Driven Architecture : Foundations and Applications, pp.13-24, 2003.