C. Bip-models and .. , 96 5.7.1 Compliance with Send/Receive Models, p.97

A. Anne, R. He, T. Jarboui, M. Lacoste, O. Lobry et al., Think: View-based support of non-functional properties in embedded systems, Embedded Software and Systems, pp.147-156, 2009.

J. [. Ajtai, E. Komlós, and . Szemerédi, Sorting inc logn parallel steps, Combinatorica, vol.3, issue.1, pp.1-19, 1983.
DOI : 10.1007/BF02579338

R. Allen, S. Vestal, D. Cornhill, and B. Lewis, Using an architecture description language for quantitative analysis of real-time systems, Proceedings of the third international workshop on Software and performance , WOSP '02, pp.203-210, 2002.
DOI : 10.1145/584369.584399

]. R. Bag89 and . Bagrodia, Process synchronization: Design and performance evaluation of distributed algorithms, IEEE Transactions on Software Engineering (TSE), vol.15, issue.9, pp.1053-1065, 1989.

A. Shankar-basu, ModélisationModélisation`Modélisationà base de composants de systèmes temps rél h´et´erog'enes en bip, 2008.

]. K. Bat68 and . Batcher, Sorting networks and their applications, AFIPS '68 (Spring): Proceedings of the, pp.307-314, 1968.

[. Basu, P. Bidinger, M. Bozga, and J. Sifakis, Distributed Semantics and Implementation for Systems with Interaction and Priority, Lecture Notes in Computer Science, vol.3, issue.1, pp.116-133, 2008.
DOI : 10.1007/978-3-540-30101-1_15

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

M. Bonakdarpour, M. Bozga, J. Jaber, J. Quilbeauf, and . Sifakis, Automated conflict-free distributed implementation of component-based models, SIES, 2010.

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

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

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous realtime components in BIP, 4 th IEEE Int, Conf. on Software Engineering and Formal Methods (SEFM06), pp.3-12, 2006.

[. Bensalem, M. Bozga, J. Sifakis, and T. Nguyen, Compositional Verification for Component-Based Systems and Application, Lecture Notes in Computer Science, vol.79, issue.11, pp.64-79, 2008.
DOI : 10.1007/BFb0028771

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

[. Benton, L. Cardelli, and C. Fournet, Modern Concurrency Abstractions for C#, Lecture Notes in Computer Science, vol.2374, pp.415-440, 2002.
DOI : 10.1007/3-540-47993-7_18

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

T. [. Bruneton, J. B. Coupaye, and . Stefani, Recursive and dynamic software composition with sharing, 2002.

]. Bruni, J. Luiz-fiadeiro, and I. Lanese, Antónia Lopes, and Ugo Montanari, New insights on architectural connectors, Kluwer, pp.367-380, 2004.
DOI : 10.1007/1-4020-8141-3_29

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

A. S. Bgk-+-06-]-krishnakumar-balasubramanian, G. Gokhale, and . Karsai, Developing Applications Using Model-Driven Design Environments, Computer, vol.39, issue.2, pp.33-40, 2006.
DOI : 10.1109/MC.2006.54

A. Basu, M. Gallien, C. Lesire, T. Nguyen, and S. Bensalem, Incremental component-based construction and verification of a robotic system, Félix Ingrand, and Joseph Sifakis Frontiers in Artificial Intelligence and Applications, pp.631-635, 2008.

M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis, The IF Toolset, Lecture Notes in Computer Science, vol.3185, pp.237-267, 2004.
DOI : 10.1007/978-3-540-30080-9_8

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

[. Bozga, M. Jaber, and J. Sifakis, Source-to-source architecture transformation for performance optimization in bip, pp.152-160, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00722520

R. Vincent-bennett, A. C. Murray, B. Franke, and N. P. Topham, Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems, pp.83-92, 2007.

S. Bliudze and J. Sifakis, The algebra of connectors, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.11-20, 2007.
DOI : 10.1145/1289927.1289935

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

Y. Bwh-+-03-]-felice-balarin, H. Watanabe, L. Hsieh, C. Lavagno, A. L. Passerone et al., Metropolis: an integrated electronic system design environment, Computer, vol.36, issue.4, pp.45-52, 2003.
DOI : 10.1109/MC.2003.1193228

J. Combaz, J. C. Fernandez, T. Lepley, and J. Sifakis, Fine Grain QoS Control for Multimedia Application Software, Design, Automation and Test in Europe, pp.1038-1043, 2005.
DOI : 10.1109/DATE.2005.155

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

J. Combaz, J. Fernandez, J. Sifakis, and L. Strus, Using Speed Diagrams for Symbolic Quality Management, 2007 IEEE International Parallel and Distributed Processing Symposium, pp.1-8, 2007.
DOI : 10.1109/IPDPS.2007.370341

]. Cortadella, A. Kondratyev, L. Lavagno, C. Passerone, and Y. Watanabe, Quasi-Static Scheduling of Independent Tasks for Reactive Systems, Lecture Notes in Computer Science, vol.2360, pp.80-100, 2002.
DOI : 10.1007/3-540-48068-4_7

J. [. Chandy and . Misra, The drinking philosophers problem, ACM Transactions on Programming Languages and Systems, vol.6, issue.4, pp.632-646, 1984.
DOI : 10.1145/1780.1804

A. Mohamed-yassin-chkouri, M. Robert, J. Bozga, and . Sifakis, Translating AADL into BIP - Application to the Verification of Real-Time Systems, Lecture Notes in Computer Science, vol.55, pp.5-19, 2008.
DOI : 10.1007/978-3-540-77419-8_5

D. Ddm-+-07-]-abhijit-davare, T. Densmore, A. Meyerowitz, A. Pinto, G. Sangiovanni-vincentelli et al., Haibo Zeng, and Qi Zhu, A nextgeneration design framework for platform-based design, 2007.

C. [. Dijkstra and . Scholten, Termination detection for diffusing computations, Information Processing Letters, vol.11, issue.1, pp.1-4, 1980.
DOI : 10.1016/0020-0190(80)90021-6

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE 91, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

[. Freeman, K. Arnold, and S. Hupfer, Javaspaces principles, patterns , and practice, 1999.

M. Fontoura, T. J. Lehman, D. Nelson, T. Truong, and Y. Xiong, Tspaces services suite: Automating the development and management of web services, WWW (Alternate Paper Tracks), 2003.

J. Fassino, J. Stefani, J. Lawall, G. Muller, D. Gay et al., Think: A software framework for component-based operating system kernels The NesC language: A holistic approach to networked embedded systems, SIGPLAN Conference on Programming Language Design and Implementation, 2002.

D. Garlan and B. R. Schmerl, Using Architectural Models at Runtime: Research Challenges, Lecture Notes in Computer Science, vol.3047, pp.200-205, 2004.
DOI : 10.1007/978-3-540-24769-2_15

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

G. Gößler and J. Sifakis, Composition for component-based modeling, Science of Computer Programming, vol.55, issue.1-3, pp.161-183, 2005.
DOI : 10.1016/j.scico.2004.05.014

[. Hindman and D. Grossman, Atomicity via source-to-source translation , Memory System Performance and Correctness, pp.82-91, 2006.
DOI : 10.1145/1178597.1178611

F. Huber and B. Schätz, Integrated development of embedded systems with, JBB09] Mohamad Jaber, Ananda Basu, and Simon Bliudze, Symbolic implementation of connectors in bip, p.5446, 2002.

L. Ju, . Bach-khoa, A. Huynh, S. Roychoudhury, and . Chakraborty, Performance debugging of esterel specifications, CODES+ISSS '08: Proceedings of the 6th IEEE, IFIP international conference on Hardware/Software codesign and system synthesis, pp.173-178, 2008.

D. B. Loveman, Program Improvement by Source-to-Source Transformation, Mat] Mathworks The pi calculus and its applications, JICSLP'98: Proceedings of the 1998 joint international conference and symposium on Logic programming, pp.121-145, 1977.
DOI : 10.1145/321992.322000

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

R. [. Pérez, M. Corchuelo, and . Toro, An order-based algorithm for implementing multiparty synchronization, Concurrency and Computation: Practice and Experience, vol.16, issue.12, pp.1173-1206, 2004.
DOI : 10.1002/cpe.903

J. Marcpoulhì-es, C. Pulou, J. Rippert, and . Sifakis, A methodology and supporting tools for the development of component-based embedded systems, Lecture Notes in Computer Science, vol.4888, pp.75-96, 2006.

[. Ray and R. Cleaveland, Architectural interaction diagrams: AIDs for system modeling, 25th International Conference on Software Engineering, 2003. Proceedings., pp.396-406, 2003.
DOI : 10.1109/ICSE.2003.1201218

D. J. Ruf, J. Hoffmann, T. Gerlach, W. Kropf, W. Rosenstiehl et al., The simulation semantics of systemc, DATE '01: Proceedings of the conference on Design, automation and test in Europe, pp.64-70, 2001.

[. Sifakis, A framework for component-based construction extended abstract, pp.293-300, 2005.

J. Vera, L. Perrochon, and D. C. Luckham, Event-Based Execution Architectures for Dynamic Software Systems, IFIP Conference Proceedings, pp.303-318, 1999.
DOI : 10.1007/978-0-387-35563-4_17