C. Java-ou and A. , AADL vers BIP est de fournir une sémantique formelle définie en termes de systèmes de transitions étiquetés avant la génération du code. Contrairement à d'autre méthodologies de traduction d'AADL qui génèrent directement du code La traduction d'AADL vers BIP est effectuée pour les deux version de BIP v.1 et v.2

É. De-cas, Pour exprimer la nature d'un type de données, nous utilisons les composants de données comme illustré dans le listing 8

. Adea and . Ades, Architecture description simulationhtml. [ADEb] Ellidiss. adele : a versatile system architecture graphical editor based on aadl A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, 1997.

G. [. Altisen, J. Gössler, . Sifakis-ananda-shankar, and . Basu, Scheduler modeling based on the controller synthesis paradigm, Real-Time Syst Avionics Application Software Standard Interface (arinc specification 653-1). arinc, inc Component-based modeling of heterogeneous real-time systems in bip Distributed semantics and implementation for systems with interaction and priority, www.antlr.org/. [ARI] ARINC653. Airlines electronic engineering committee (aeec)BBBS08] Ananda Basu, pp.55-84, 2002.

B. Bbg-+-08, ]. A. Basu, S. Bensalem, M. Gallien, F. Ingrand et al., Incremental component-based construction and verification of a robotic system, Proceedings of ECAI'08, 2008.

[. Basu, S. Bliudze, and M. Jaber, Symbolic implementation of connectors in bip, 2nd Interaction and Concurrency Experience, 2009.

[. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, D-Finder: A Tool for Compositional Deadlock Detection and Verification, CAV, pp.614-619, 2009.
DOI : 10.1007/978-3-642-02658-4_45

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

. A. Bbs06, M. Basu, J. Bozga, and . Sifakis, Modeling heterogeneous real-time components in bip, Proceedings of SEFM '06, pp.3-12, 2006.

M. [. Bensalem, J. Bozga, T. H. Sifakis, and . Nguyen, Compositional verification for component-based systems and application, Proceedings of ATVA'08, pp.64-79, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00568866

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-12, 2006.
DOI : 10.1002/spe.767

G. Bdj-+-03-]-jean-bézivin, F. Dupé, G. Jouault, J. E. Pitette, and . Rougui, First experiments with the atl model transformation language : Transforming xslt into xquery, 2003.

M. Bozga, S. Graf, . Ober, J. Ober, and . Sifakis, The IF Toolset, Proceedings of SFM'04, pp.237-267, 2004.
DOI : 10.1007/978-3-540-30080-9_8

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

A. Basu, L. Mounier, M. Poulhiès, J. Pulou, and J. Sifakis, Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), pp.257-260, 2007.
DOI : 10.1109/NCA.2007.52

[. Bock, SysML and UML 2 support for activity modeling, Systems Engineering, vol.4, issue.2, pp.160-186, 2006.
DOI : 10.1002/sys.20046

[. Bornot and J. Sifakis, An Algebraic Framework for Urgency, Information and Computation, vol.163, issue.1, pp.172-202, 2000.
DOI : 10.1006/inco.2000.2999

[. Bornot, J. Sifakis, and S. Tripakis, Modeling Urgency in Timed Systems, International Symposium : Compositionality -The Significant Difference, pp.103-129, 1997.
DOI : 10.1007/3-540-49213-5_5

[. Crettaz, M. M. Kandé, S. Sendall, and A. Strohmeier, Integrating the ConcernBASE Approach with SADL, Proceedings 4th International Conference on Modeling Languages, Concepts, and Tools, pp.166-181, 2001.
DOI : 10.1007/3-540-45441-1_13

]. P. Cle96 and . Clements, A survey of architecture description languages, Proceedings of the Eighth International Workshop on Software Specification and Design, 1996.

[. Garlan, R. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.169-183, 1997.
DOI : 10.1145/1925805.1925814

J. Eker, J. Janneck, E. A. Lee, J. Liu, X. Liu et al., Sonia Sachs, and Yuhong Xiong, Taming heterogeneity -the ptolemy approach, Proceedings of the IEEE 91, pp.127-144, 2003.

. Emf and . Emf, Eclipse modeling framework project

[. Garlan, R. Allen, and J. Ockerbloom, Exploiting style in architectural design environments, ACM SIGSOFT Software Engineering Notes, vol.19, issue.5, pp.175-188, 1994.
DOI : 10.1145/195274.195404

[. Garlan, . Shang-wen, A. J. Cheng, and . 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

G. [. Sifakis and . Gossler, Composition for component-based modeling, Science of Computer Programming, vol.55, pp.161-183, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00665169

]. G. Gößl01 and . Gößler, Prometheus ? a compositional modeling tool for real-time systems, Proc. Workshop RT-TOOLS, 2001.

G. Gössler and J. Sifakis, Component-based construction of deadlock-free systems, proceedings of FSTTCS, LNCS, vol.2914, pp.420-433, 2003.

J. Hugues, B. Zalila, L. Pautet, and F. Kordon, Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina, Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP'07), pp.106-112, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01335114

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

I. Hamid, E. D. Najm, J. J. Luckham, L. M. Kenney, J. Augustin et al., Real-time connectors for deterministic data-flow, Proceedings of RTCSARecommended Practice for Architectural description of Software-Intensive Systems Specification and analysis of system architecture using rapide, IEEE International Conference on Embedded and Real- Time Computing Systems and Applications, 2007. [IEE] IEEE Architecture Working Group, pp.336-335, 1471.

C. David, J. Luckham, and . Vera, An event-based architecture definition language [MAR] Omg, uml profile for modeling and analysis of real-time and embedded systems (marte) rfp, IEEE Trans. Softw. Eng, vol.21, issue.9, pp.717-73405, 1995.

J. [. Magee and . Kramer, Dynamic structure in software architectures, Proceedings of ACM SIGSOFT'96 : Fourth Symposium on the Foundations of Software Engineering (FSE4), pp.3-14, 1996.

[. Medvidovic, P. Oreizy, J. E. Robbins, and R. N. Taylor, Using object-oriented typing to support architectural design in the c2 style, Proceedings of ACM SIGSOFT ? 201996 : Fourth Symposium on the Foundations of Software Engineering (FSE4), pp.24-32, 1996.

[. Medvidovic and D. S. Rosenblum, Domains of concern in software architectures and architecture description languages, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain- Specific Languages (DSL) USENIX Association, pp.16-16, 1997.

]. M. Mr97b, R. A. Moriconi, and . Riemenschneider, Introduction to sadl 1.0 : A language for specifying software architecture hierarchies, 1997.

R. [. Medvidovi and . Taylor, A framework for classifying and comparing architecture description languages, Proceedings of the Sixth European Software Engineering Conference (ESEC/FSE 97, pp.60-76, 1997.

. Osa and . Sei, Open Source AADL Tool Environment

J. D. Poole, Model-driven architecture : Vision, standards and emerging technologies, ECOOP 2001, Workshop on Metamodeling and Adaptive Object Models, 2001.

J. [. Poulhiès, C. Pulou, J. Rippert, and . Sifakis, A methodology and supporting tools for the development of BIBLIOGRAPHIE component-based embedded systems, 13th Monterey Workshop, pp.75-96, 2006.

[. Queille and J. Sifakis, Specification and verification of concurrent systems in CESAR, Proceedings of the 5th Colloquium on International Symposium on Programming, pp.337-351, 1982.
DOI : 10.1007/3-540-11494-7_22

[. Rugina, K. Kanoun, and M. Kaâniche, The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation, 2008 Seventh European Dependable Computing Conference, p.4108, 2008.
DOI : 10.1109/EDCC-7.2008.14

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

M. Shaw, R. Deline, D. V. Klein, T. L. Ross, D. M. Young et al., Abstractions for software architecture and tools to support them, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.314-335, 1995.
DOI : 10.1109/32.385970

M. Shaw, R. Deline, and G. Zelesnik, Abstractions and implementations for architectural connections, Proceedings of International Conference on Configurable Distributed Systems, 1996.
DOI : 10.1109/CDS.1996.509340

[. Sokolsky, I. Lee, and D. Clarke, Schedulability analysis of AADL models, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006.
DOI : 10.1109/IPDPS.2006.1639421

[. Singhoff, J. Legrand, L. Laurent-tchamnda-nana, and . Marcé, Cheddar : a flexible real time scheduling framework, ACM Ada Letters journal, vol.24, issue.4, pp.1-81094, 2004.

. Sto-]-p and . Dissaux, using the aadl for mission critical software development, 2004.

]. J. Til05 and . Tilman, Building tool suite for aadl, IFIP International Federation for Information Processing, pp.197-207, 2005.

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