D. Abad-garcia, Génération de code et configuration d'intergiciel à partir d'une description architecturale, 2005.

A. Group, The Acme Architectural Description Language

R. J. Allen, A Formal Approach to Software Architecture, Thèse de doctorat, 1997.

R. J. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

F. P. Basso, T. C. Oliveira, and L. B. Becker, Using the FOMDA Approach to Support Object-Oriented Real-Time Systems Development, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06), pp.374-381, 2006.
DOI : 10.1109/ISORC.2006.76

M. Bernardo and P. Inverardi, Formal Methods for Software Architectures, volume 2804 of Lecture Notes in Computer Science, 2003.

L. Besson, S. Lescuyer, J. Mairal, and E. S. Mir, Connexion d'un éditeur graphique à un outil de génération automatique de code, 2005.

X. Blanc, MDA en action. Eyrolles, 1 ère edition, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01418176

J. Bloomer, Power Programming with RPC. O'Reilly, 1992.

P. Boisieau and N. Gianiel, Reconciling the Needs of Architectural Description with UML. Rapport technique 004033, DVT_CS.DVRB.03, ASSERT, 2006.

G. Bollella, B. Brosgol, P. Dibble, S. Furr, J. Gosling et al., The real-time specification for Java, Computer, vol.33, issue.6, 2002.
DOI : 10.1109/2.846318

E. Bruneton, Developing with Fractal. Consortium ObjectWeb, mars, 2004.

E. Bruneton, T. Coupaye, and J. Stéfani, Recursive and Dynamic Software Composition with Sharing, 7 th International Workshop on Component-Oriented Programming (WCOP'02), 2002.

F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and E. T. Grose, Eclipse Modeling Framework, 2003.

A. Burns and A. Wellings, Real-Time Systems and Programming Languages, 2001.

J. L. Campos, J. J. Gutiérrez, and M. G. Harbour, The Chance for Ada to Support Distribution and Real-Time in Embedded Systems, Proceedings of the 9 th International Conference on Reliable Software Techologies Ada-Europe, pp.91-105, 2004.
DOI : 10.1007/978-3-540-24841-5_7

I. Charon, Le langage Java : concepts et pratique, le JDK 5.0. Hermès, 3 e edition, 2005.

E. M. Dashofy, A. Van-der-hoek, and R. N. Taylor, A highly-extensible, XML-based architecture description language, Proceedings Working IEEE/IFIP Conference on Software Architecture, pp.103-112, 2001.
DOI : 10.1109/WICSA.2001.948416

P. Dissaux, Hood and Ada 95, Data Systems In Aerospace (DASIA'99), 1999.

P. Duquesne, Module AADL pour l'éditeur de diagrammes Dia, 2005.

J. Elloy and F. Simonot-lion, AN ARCHITECTURE DESCRIPTION LANGUAGE FOR IN-VEHICLE EMBEDDED SYSTEM DEVELOPMENT, 15 th IFAC World Congress, 2002.
DOI : 10.3182/20020721-6-ES-1901.00060
URL : https://hal.archives-ouvertes.fr/inria-00107546

H. Espinoza, H. Dubois, J. Medina, and E. S. Gérard, A General Structure for the Analysis Framework of the UML MARTE Profile, Proceedings of the Modeling and Analysis of Real-Time and Embedded Systems Workshop (MARTES'05), 2005.

P. Farail and P. Gaufillet, TOPCASED ? un environnement de développement open source pour les systèmes embarqués, 2005.

J. Farines, B. Berthomieu, J. Bodeveix, P. Dissaux, P. Farail et al., Towards the Verification of Real-Time Systems in Avionics : the COTRE Approach, 8 th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03), 2003.

J. Farines, B. Berthomieux, J. Bodeveix, P. Farail, M. Filali et al., The COTRE Project : Rigorous Software Development for Real-Time Systems in Avionics, 27 th IFACTime Programming (WRTP'03), 2003.

S. Faucou, A. Déplanche, and Y. Trinquet, Timing fault detection for safety-critical real-time embedded systems, Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC , EW10, 2002.
DOI : 10.1145/1133373.1133425

P. H. Feiler, B. Lewis, and E. S. Vestal, Improving Predictability in Embedded Real-Time Systems, 2000.

P. H. Feiler, B. Lewis, and E. S. Vestal, An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering, proceeding of the RTAS 2003 Workshop on Model-Driven Embedded Systems, 2003.
DOI : 10.1007/0-387-24590-1_1

P. H. Feiler, D. P. Gluch, and J. J. Hudak, The Architecture Analysis & Design Language (AADL) : An Introduction. université Carnegie Mellon, 2006.

E. Gamma, R. Helm, R. Johnson, and E. J. Vlissides, Design Patterns, 2001.

D. Garlan and M. Shaw, Advances in Software Engineering and Knowledge Engineering, of Series on Software Engineering and Knowledge Engineering, chapter An Introduction to Software Architecture, pp.1-39, 1993.

D. Garlan, S. Cheng, and A. J. Kompanek, Reconciling the needs of architectural description with object-modeling notations, Science of Computer Programming, vol.44, issue.1, pp.23-49, 2002.
DOI : 10.1016/S0167-6423(02)00031-X

D. Giannakopoulou, J. Kramer, and S. C. Cheung, Behaviour Analysis of Distributed Systems Using the Tracta Approach, Automated Software Engineering, vol.6, issue.1, pp.7-35, 1999.
DOI : 10.1023/A:1008645800955

C. D. Gill, J. Gossett, D. Corman, J. P. Loyall, R. E. Schantz et al., Integrated adaptive QoS management in middleware: a case study, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004., 2004.
DOI : 10.1109/RTTAS.2004.1317273

O. Gilles, Génération de réseau de Petri pour la vérification formelle de code généré et configuration d'intergiciel. Mémoire de master, École nationale supérieure des télécommunications, 2006.

F. Gilliers, Développement par prototypage et génération de code à partir de LfP, un langage de modélisation de haut niveau, Thèse de doctorat, université Pierre & Marie Curie, 2005.

A. Gokhale, D. Schmidt, T. Lu, B. Natarajan, and E. N. Wang, 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. Graf and J. Hooman, Correct Development of Embedded Systems, European Workshop on Software Architecture : Languages, Styles, Models, Tools, and Applications (EWSA'04), pp.241-249, 2004.
DOI : 10.1007/978-3-540-24769-2_21

R. M. Graham, T. S. Woodall, and J. M. Squyres, Open MPI: A Flexible High Performance MPI, 6 th International Conference on Parallel Processing and Applied Mathematics (PPAM'05)
DOI : 10.1007/11752578_29

W. Gropp and E. Lusk, User's Guide for mpich, a Portable Implementation of MPI, 1999.

H. Habrias, Spécification formelle avec B. Hermès, 2001.

P. Hn?tykna, A Model-driven Environment for Component Deployment, 3 rd ACIS International Conference on Software Engineering, Research, Management and Applications (SERA'05), Mount Pleasant, 2005.

C. Hofmeister, R. L. Nord, and E. D. Soni, Describing Software Architecture with UML, Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), pp.145-160, 1999.
DOI : 10.1007/978-0-387-35563-4_9

J. Hugues, Architecture et services des intergiciels temps-réel, Thèse de doctorat, École nationale supérieure des télécommunications, 2005.

J. Hugues, PolyORB User's Guide, 2006.

J. Hugues, Y. Thierry-mieg, F. Kordon, L. Pautet, S. Baarir et al., On the Formal Verification of Middleware Behavioral Properties, Proceedings of the 9 th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), volume ENTCS 133, pp.139-157, 2004.
DOI : 10.1016/j.entcs.2004.08.062

J. Hugues, F. Kordon, L. Pautet, and E. T. Vergnaud, A Factory To Design and Build Tailorable and Verifiable Middleware In Workshop on Networked Systems : realization of reliable systems on top of unreliable networked platforms (Monterey Workshop Series, 12 e édition, LNCS, vol.4322, pp.123-144, 2005.

. Impr and . Nat, Lexique des règles typographiques en usage à l'Imprimerie nationale. Imprimerie nationale, 3 e edition, 1990.

M. Ada-reference, ISO, 3 e edition, 2005.

S. Kleijnen and S. Raju, An Open Web Services Architecture, Queue, vol.1, issue.1, pp.38-46, 2003.
DOI : 10.1145/637958.637961

F. Kordon and . Luqi, An introduction to rapid system prototyping, Transactions on Software Engineering, 2002.
DOI : 10.1109/TSE.2002.1033222
URL : https://hal.archives-ouvertes.fr/hal-01198697

F. Kordon and E. Paviot-adet, Using CPN-AMI to Validate a Safe Channel Protocol, International Conference on Theory and Applications of Petri Nets, 1999.

A. S. Krishna, B. Natarajan, A. Gokhale, D. C. Schmidt, N. Wang et al., CCMPerf: A Benchmarking Tool for CORBA Component Model Implementations, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004., pp.281-308, 2005.
DOI : 10.1109/RTTAS.2004.1317258
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.2850

J. W. Krueger, S. Vestal, and E. B. Lewis, Fitting the pieces together: system/software analysis and code integration using METAH, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267), 1998.
DOI : 10.1109/DASC.1998.741493

F. Loiret, L. Seinturier, and É. Gressier-soudan, JAC : une expérience comparative, Journée Composants, 2004.

J. Magee and J. Kramer, Dynamic Structure in Software Architectures, ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp.3-14, 1996.

J. Magee and J. Kramer, Concurrency : State Models and Java Programs, 1999.

J. Magee, J. Kramer, and E. D. Giannakopoulou, Behaviour Analysis of Software Architectures, First Working IFIP Conference on Software Architecture (WICSA), IFIP Conference Proceedings, pp.35-50, 1999.
DOI : 10.1007/978-0-387-35563-4_3

N. Medvidovic and R. R. 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

C. Nester, M. Philippsen, and E. B. Haumacher, A more efficient RMI for Java, Proceedings of the ACM 1999 conference on Java Grande , JAVA '99, pp.152-159, 1999.
DOI : 10.1145/304065.304117

F. Ogel, G. Thomas, I. Piumarta, A. Galland, B. Folliot et al., Towards Active Applications : the Virtual Virtual Machine Approach, New Trends in Computer Science and Engineering, 2003.

S. Owre, J. M. Rushby, and E. N. Shankar, PVS: A prototype verification system, 11 th International Conference on Automated Deduction (CADE), pp.748-752, 1992.
DOI : 10.1007/3-540-55602-8_217

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

L. Pautet and S. Tardieu, GLADE User's Guide. Free Software Foundation, 2005.

D. E. Perry and A. L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.40-52, 1992.
DOI : 10.1145/141874.141884

F. Plá?il, D. Bálek, R. Jane?ek, . Sofa, and . Dcup, Architecture for component trading and dynamic updating, ICCDS'98, 1998.

P. Poizat, J. Royer, and E. G. Salaün, Formal Methods for Component Description, Coordination and Adaptation, First International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT), pp.89-100, 2004.

I. Pyarali, D. C. Schmidt, and R. K. Cytron, Achieving End-to-end Predictability in the TAO Realtime CORBA ORB, Proceedings of the 8 th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'02), p.13, 2002.

T. Quinot, Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables, Thèse de doctorat, École nationale supérieure des télécommunications, 2003.

D. Regep, Y. Thierry-mieg, F. Gilliers, and E. F. Kordon, Modélisation et vérification de systèmes répartis : une approche intégrée avec LfP, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'03), 2002.

A. Rugina, K. Kanoun, and E. M. Kaâniche, AADL-based Dependability Modelling, 2006.

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Scheduling and Memory Requirements Analysis with AADL, SIGAda'05 : Proceedings of the 2005 annual ACM SIGAda international conference on Ada, pp.1-10, 2005.

S. Srinivasan, RPC : Remote Procedure Call Protocol Specification Version 2, Sun Microsystems
DOI : 10.17487/rfc1831

S. Srinivasan, XDR : External Data Representation Standard, Sun Microsystems
DOI : 10.17487/rfc1832

D. Statezni, Analyzable and Reconfigurable AADL Specifications for IMA System Integration, 2004.

B. Stroustrup, Le langage C++, 2003.

M. Java-remote and . Invocation, Sun Microsystems, 2004.

C. Szyperski, Component Software : Beyond Object-Oriented Programming, 1998.

M. Vadet and P. Merle, Les containers ouverts dans les plates-formes composants, 2001.

A. Vallecillo, J. Hernández, and J. M. Troya, New Issues in Object Interoperability, Object- Oriented Technology, pp.256-269, 1964.
DOI : 10.1007/3-540-44555-2_18

T. Vergnaud and B. Zalila, Ocarina, a Compiler for the AADL. Rapport technique, École nationale supérieure des télécommunications, 2006.

T. Vergnaud, J. Hugues, L. Pautet, and E. F. Kordon, PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications, Proceedings of the 9 th International Conference on Reliable Software Techologies Ada-Europe, pp.106-119, 2004.
DOI : 10.1007/978-3-540-24841-5_8

T. Vergnaud, J. Hugues, L. Pautet, and E. F. Kordon, Rapid Development Methodology for Customized Middleware, Proceedings of the 16 th IEEE International Workshop on Rapid System Prototyping (RSP'05), pp.111-117, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01490881

T. Vergnaud, L. Pautet, and E. F. Kordon, Using the AADL to Describe Distributed Applications from Middleware to Software Components, Proceedings of the 10 th International Conference on Reliable Software Techologies Ada-Europe 2005 (RST'05), volume LNCS 3555, pp.67-78, 2005.
DOI : 10.1007/11499909_6
URL : https://hal.archives-ouvertes.fr/hal-01493416

T. Vergnaud, I. Hamid, K. Barbaria, É. Najm, L. Pautet et al., Modeling and Generating Tailored Distribution Middleware for Embedded Real-Time Systems, 2 nd European Congress Embedded Real-Time Software (ERTS'06), 2006.

S. Vestal, MetaH User's Manual. Honeywell, 1998.

S. Vestal, MetaH Support for Real-Time Multi-Processor Avionics. wpdrts, 1997.

. Vinoski, Distributed Object Computing With CORBA, C++ Report Magazine, 1993.

N. M. Vo, Étude et réalisation d'un parseur pour AADL, 2004.

T. Wall and V. Cahill, Mobile RMI: supporting remote access to Java server objects on mobile hosts, Proceedings 3rd International Symposium on Distributed Objects and Applications, pp.41-51, 2001.
DOI : 10.1109/DOA.2001.954070

B. Zalila, J. Hugues, and E. L. Pautet, An Improved IDL Compiler for Optimizing CORBA Applications Table des figures I, Special Interest Group on Ada 2006 (SIGAda'06, 2006.

.. Construction-d-'un-exécutif-pour-une-approche-par-composants, 17 II.3 L'approche

.. Exemple-de-réseau-de-petri-coloré, 123 VII.2 Modélisation en réseaux de Petri de composants AADLi, p.126

A. Annexes, 46 III.11 Modélisation de séquences d'appel en AADL 1, p.48

.. Autre-déploiement-des-noeuds-avec-gnatdist, 57 IV.10 Modélisation d'une architecture basée sur le passage de message 66 IV.11 Modélisation d'une architecture basée sur l'appel de sous-programme distant . 67 IV.12 Modélisation d'une architecture basée sur des objets distants

.. De-test, 156 VIII.2 Description du processus d'initialisation 158 VIII.3 Déploiement de l'application de test, VIII.1 Description des processus de, p.158

C. Code-source-du-client, 161 VIII.8 Interfaces de l'application-témoin basée sur des méthodes oneway CORBA, p.163