R. Producer, Log Reader : do some work . [ 3.548246000] Regular Producer : doing some work . [ 4.036544000] Read e x t e r n a l new i n t e r r u p t i o n : 1 . A r r i v e d a t [ 0.100266000] [ 4.040284000] A c t i v a t i o n Log Reader : end o f p a r a m e t e r l e s s s p o r a d i c a c t i v a t i o n . [ 4.795274000] Regular Producer IP s t a c k t o r e c e i v e [ 15.004364000] E x t e r n a l Event Server : r e c e i v e d an e x t e r n a l i n t e r r u p t [ 15.004440000] E x t e r n a l Event Server : end o f s p o r a d i c a c t i v a t i o n . [ 15.077115000] Read e x t e r n a l new i n t e r r u p t i o n : 2 . A r r i v e d a] A c t i v a t i o n Log Reader : end o f p a r a m e t e r l e s s s p o r a d i c a c t i v a t i o n . [ 15.608263000] On C a l l Producer Regular Producer : doing some work, Producer : doing some work . [ 2.036213000] Regular Producer : doing some work, 111582000.

D. Alur, D. L. Alur, and . Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

2. Atl and . Berthomieu, A model transformation technology Safe and secure software : an invitation to Ada 200 Adacore Formal Verification of AADL models with Fiacre and Tina (regular paper), European Congress on Embedded Real-Time Software (ERTS), 2008.

J. Bézivin, F. Bézivin, and . Jouault, Using ATL for Checking Models, Biehl, 2010 ] Matthias Biehl. Literature study on model transformations, pp.69-81, 2005.
DOI : 10.1016/j.entcs.2006.01.015

. Borde, Mode-based reconfiguration of critical software component architectures, 2009 Design, Automation & Test in Europe Conference & Exhibition, pp.1160-1165, 2009.
DOI : 10.1109/DATE.2009.5090838

E. Borde, Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs, 2009.

V. Bordin, T. Bordin, and . Vardanega, Automated Model-Based Generation of Ravenscar-Compliant Source Code, 17th Euromicro Conference on Real-Time Systems (ECRTS'05), pp.59-67, 2005.
DOI : 10.1109/ECRTS.2005.9

. Bordin, Fitting Schedulability Analysis Theory into Model-Driven Engineering, 2008 Euromicro Conference on Real-Time Systems, pp.135-144, 2008.
DOI : 10.1109/ECRTS.2008.12

. Bray, Extensible markup language (xml) 1, p.3, 2008.

. Brun, Code generation from aadl to a realtime operating system : An experimentation feedback on the use of model transformation, Engineering of Complex Computer Systems 13th IEEE International Conference on, pp.257-262, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01179673

. Burns, Guide for the use of the Ada Ravenscar Profile in high integrity systems, ACM SIGAda Ada Letters, vol.XXIV, issue.2, pp.1-74, 2004.
DOI : 10.1145/997119.997120

. Cancila, Toward Correctness in the Specification and Handling of Non-Functional Attributes of High-Integrity Real-Time Embedded Systems, IEEE Transactions on Industrial Informatics, vol.6, issue.2, pp.181-194, 2010.
DOI : 10.1109/TII.2010.2043741

C. Benoît, Ingénierie dirigée par les modèles (idm) état de l'art. état de l'art, 2008.

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

H. Czarnecki, S. Czarnecki, and . Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006.
DOI : 10.1147/sj.453.0621

]. R. Dirckze, Java metadata interface (jmi) specification, v1, 2002.

. Faugere, MARTE: Also an UML Profile for Modeling AADL Applications, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), pp.359-364, 2007.
DOI : 10.1109/ICECCS.2007.29

. Flex-eware and . Project, 2012 ] Flex-eWare Project. Flex-eware project. http://www.flex-eware.org, 2012. 234 c 2012 Gilles LASNIER [ Fujaba Core Development Group, 2012 ] Fujaba Core Development Group. The fujaba tool suite, 2012.

. Gamma, Design patterns : elements of reusable object-oriented software, pp.0-201, 1995.

. Garlan, Acme, CASCON First Decade High Impact Papers on, CASCON '10, p.7, 1997.
DOI : 10.1145/1925805.1925814

G. Olivier, Real : Requirement enforcement analysis language, 2008.

. Gokhale, CoSMIC, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '04, 2003.
DOI : 10.1145/1028664.1028758

S. Gorrieri, G. Gorrieri, and . Siliprandi, Real-time system verification using P/T nets, Proceedings of the 6th International Conference on Computer Aided Verification, CAV '94, pp.14-26, 1994.
DOI : 10.1007/3-540-58179-0_40

. Jouault, . Tisi, M. Jouault, and . Tisi, Towards Incremental Execution of ATL Transformations, Proceedings of the Third international conference on Theory and practice of model transformations, ICMT'10, pp.123-137, 2010.
DOI : 10.1007/978-3-642-13688-7_9
URL : https://hal.archives-ouvertes.fr/inria-00539063

. Jouault, ATL, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '06, pp.719-720, 2006.
DOI : 10.1145/1176617.1176691
URL : https://hal.archives-ouvertes.fr/hal-00448120

. Jouault, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

H. Kiczales, E. H. Kiczales, L. Gilles, and . Kleppe, Aspect-oriented programming, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, p.313, 2001.
DOI : 10.1145/503271.503260

P. Kordon, L. Kordon, and . Pautet, Toward next-generation toward next-generation middleware ? IEEE DIstributed Systems Online, 2005.

. Kwon, Ravenscar-Java, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande , JGI '02, pp.131-140, 2002.
DOI : 10.1145/583810.583825

. Laas, Time petri net analyzer (tina) toolbox, 2012.

V. Lara, H. Lara, and . Vangheluwe, AToM3: A Tool for Multi-formalism and Meta-modelling, Fundamental Approaches to Software Engineering, pp.174-188, 2002.
DOI : 10.1007/3-540-45923-5_12

. Lasnier, Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications, Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe '09, pp.237-250, 2009.
DOI : 10.1109/MC.2007.344

. Lasnier, Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.87-91, 2010.
DOI : 10.1109/ISORC.2010.32
URL : https://hal.archives-ouvertes.fr/hal-01292574

. Lasnier, 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

. Lasnier, An Implementation of the Behavior Annex in the AADL-Toolset Osate2, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.332-337, 2011.
DOI : 10.1109/ICECCS.2011.39

L. L. Liu, J. W. Liu, and . 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

. Luckham, Specification and analysis of system architecture using Rapide, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.336-355, 1995.
DOI : 10.1109/32.385971

. Mazzini, An MDE methodology for the development of high-integrity real-time systems, 2009 Design, Automation & Test in Europe Conference & Exhibition, pp.1154-1159, 2009.
DOI : 10.1109/DATE.2009.5090837

T. Medvidovic, R. N. Medvidovic, and . Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

L. Gilles, V. Mens, and . Gorp, Tom Mens and Pieter Van Gorp. A taxonomy of model transformation, Electron. Notes Theor. Comput. Sci, vol.152, pp.125-142, 2006.

S. Miranda, Gnat : The gnu ada compiler, 2004.

]. Muller, De la modélisation objet des logiciels à la metamodélisation des langages informatiques. Habilitation à diriger des recherches, 2006.

. Omg and . Omg, Light weight corba component model. Revised submission, 2003.

. Omg and . Omg, Mda guide version 1.0.1. Omg, 2003.

. Omg and . Omg, Corba component model specification version 4.0. Omg technical document formal, 2006.

. Omg and . Omg, Meta object facility (mof) 2.0 core specification. Final adopted specification , OMG, 2006.

. Omg and . Omg, Data distribution service for real-time systems version 1.2. Omg technical document formal, 2007.

. Omg and . Omg, Mof 2.0 / xmi mapping specification, v2.1.1, 2007.

. Omg and . Omg, Omg unified modeling language (omg uml), infrastructure, version 2.1.2. Final adopted specification, OMG, nov, 2007.

. Omg and . Omg, Omg unified modeling language (omg uml), superstructure, version 2.1.2. Final adopted specification, OMG, 2007.

. Omg and . Omg, Uml profile for marte, beta 1, ptc/07-08-04, 2007.

. Omg and . Omg, Object constraint language (ocl), 2010.

V. Panunzio, Marco Panunzio and Tullio Vardanega. Schedulability analysis of ravenscar systems with mast+. ArtistDesign Workshop on Real-Time System Models for Schedulability Analysis, 2011.

]. Pautet, Intergiciels schizophrènes : une solution à l'interopérabilité entre modèles de répartition. Habilitation à diriger des recherches, 2001.

. Perrotin, Maxime Perrotin, Thanassis Tsiodras, Julien Delange, and Jérôme Hugues. taste : the assert set of tools for engineering European Space Agency -the Assert Project, sep 2011 Information technology -portable operating system interface (posix) operating system interface (posix, pp.9945-9946, 2009.

]. Quinot, Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables, 2003.

R. Xavier, Mise en oeuvre de notations standardisées, formelles et semiformelles dans un processus de développement de systèmes embarqués temps-réel répartis, 2009.

]. Rushby, Critical system properties: survey and taxonomy, Reliability Engineering & System Safety, vol.43, issue.2, 1994.
DOI : 10.1016/0951-8320(94)90065-5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.7809

. Sae-aerospace and . Sae-aerospace, Architecture analysis and design language (aadl), 2004.

. Sae-aerospace and . Sae-aerospace, Annex x behavior annex. Aerospace Standard SAE AS5506-X -Behavior Annex -draft v2, 2009.

. Sae-aerospace and . Sae-aerospace, Architecture analysis and design language (aadl), 2009.

. Sae-aerospace and . Sae-aerospace, Architecture analysis and design language (aadl) v2 code generation annex document. Aerospace Standard SAE AS5506 -Code Generation Annex -draft, SAE, 2009.

. Sae-aerospace and . Sae-aerospace, Architecture analysis and design language (aadl) v2 data modeling annex document. Aerospace Standard SAE AS5506-X -Data Modeling Annex -draft v0, 2009.

. Sae-aerospace and . Sae-aerospace, Architecture analysis and design language (aadl) annex volume 3 : Annex e : Error model annex. Aerospace Standard SAE AS5506/3-E - Error Model Annex -draft, 2011.

]. Salazar, Automatic generation of schedulability analysis -consistent code. Presentation, 2010.

C. Schmidt, C. Douglas, C. Schmidt, and . Cleeland, Applying a pattern language to develop extensible orb middleware Design patterns in communications software, chapter Applying a pattern language to develop extensible ORB middleware, pp.393-438, 2001.

. Schmidt, The design of the TAO real-time object request broker, Computer Communications, vol.21, issue.4, pp.294-324, 1998.
DOI : 10.1016/S0140-3664(97)00165-5

/. Sei, . Cmu, . Sei, and . Cmu, OSATE2 : Open-Source AADL Tool Environment, 2011.

. Sha, 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

. Singhoff, Scheduling and memory requirements analysis with AADL, SIGAda '04 : Proceedings of the 2004 annual ACM SIGAda international conference on Ada, pp.1-81, 2004.
DOI : 10.1145/1104011.1103847

]. Soley, Model driven architecture (mda), draft 3.2, 2000.

. Srivastava, Sangeeta Srivastava, Naveen Prakash, and Sangeeta Sabharwal. The classification framework for model transformation, Computer Science, issue.22, pp.166-170, 2006.

. Steinberg, EMF : Eclipse Modeling Framework 2.0, 2009.

[. Paristech, Behavior annex errata, 2011.

[. Paristech, Ocarina : An AADL model processing suite, 2012.

]. Vergnaud, Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées, 2006.

. Vidal, A co-design approach for embedded system modeling and code generation with UML and MARTE, 2009 Design, Automation & Test in Europe Conference & Exhibition, pp.226-231, 2009.
DOI : 10.1109/DATE.2009.5090662
URL : https://hal.archives-ouvertes.fr/hal-00369036

. Zalila, Towards Automatic Middleware Generation, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.221-228, 2008.
DOI : 10.1109/ISORC.2008.27