96 5.7.1 Compliance with Send/Receive Models, p.97 ,
Think: View-based support of non-functional properties in embedded systems, Embedded Software and Systems, pp.147-156, 2009. ,
Sorting inc logn parallel steps, Combinatorica, vol.3, issue.1, pp.1-19, 1983. ,
DOI : 10.1007/BF02579338
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
Process synchronization: Design and performance evaluation of distributed algorithms, IEEE Transactions on Software Engineering (TSE), vol.15, issue.9, pp.1053-1065, 1989. ,
ModélisationModélisation`Modélisationà base de composants de systèmes temps rél h´et´erog'enes en bip, 2008. ,
Sorting networks and their applications, AFIPS '68 (Spring): Proceedings of the, pp.307-314, 1968. ,
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
Automated conflict-free distributed implementation of component-based models, SIES, 2010. ,
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
Modeling heterogeneous realtime components in BIP, 4 th IEEE Int, Conf. on Software Engineering and Formal Methods (SEFM06), pp.3-12, 2006. ,
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
Modern Concurrency Abstractions for C#, Lecture Notes in Computer Science, vol.2374, pp.415-440, 2002. ,
DOI : 10.1007/3-540-47993-7_18
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
Recursive and dynamic software composition with sharing, 2002. ,
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=10.1.1.121.8246
Developing Applications Using Model-Driven Design Environments, Computer, vol.39, issue.2, pp.33-40, 2006. ,
DOI : 10.1109/MC.2006.54
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. ,
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
Source-to-source architecture transformation for performance optimization in bip, pp.152-160, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00722520
Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems, pp.83-92, 2007. ,
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
Metropolis: an integrated electronic system design environment, Computer, vol.36, issue.4, pp.45-52, 2003. ,
DOI : 10.1109/MC.2003.1193228
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
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
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
The drinking philosophers problem, ACM Transactions on Programming Languages and Systems, vol.6, issue.4, pp.632-646, 1984. ,
DOI : 10.1145/1780.1804
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
Haibo Zeng, and Qi Zhu, A nextgeneration design framework for platform-based design, 2007. ,
Termination detection for diffusing computations, Information Processing Letters, vol.11, issue.1, pp.1-4, 1980. ,
DOI : 10.1016/0020-0190(80)90021-6
Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE 91, pp.127-144, 2003. ,
DOI : 10.1109/JPROC.2002.805829
Javaspaces principles, patterns , and practice, 1999. ,
Tspaces services suite: Automating the development and management of web services, WWW (Alternate Paper Tracks), 2003. ,
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. ,
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=10.1.1.131.5864
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
Atomicity via source-to-source translation , Memory System Performance and Correctness, pp.82-91, 2006. ,
DOI : 10.1145/1178597.1178611
Integrated development of embedded systems with, JBB09] Mohamad Jaber, Ananda Basu, and Simon Bliudze, Symbolic implementation of connectors in bip, p.5446, 2002. ,
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. ,
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=10.1.1.407.3689
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
A methodology and supporting tools for the development of component-based embedded systems, Lecture Notes in Computer Science, vol.4888, pp.75-96, 2006. ,
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
The simulation semantics of systemc, DATE '01: Proceedings of the conference on Design, automation and test in Europe, pp.64-70, 2001. ,
A framework for component-based construction extended abstract, pp.293-300, 2005. ,
Event-Based Execution Architectures for Dynamic Software Systems, IFIP Conference Proceedings, pp.303-318, 1999. ,
DOI : 10.1007/978-0-387-35563-4_17