K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, Proc. of the European Symp. on Programming, ESOP'03, pp.174-188, 2003.
DOI : 10.1007/3-540-36575-3_13

R. B. Atitallah, S. Niar, S. Meftali, and J. Dekeyser, An MPSoC Performance Estimation Framework Using Transaction Level Modeling, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007.
DOI : 10.1109/RTCSA.2007.21

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

J. J. Borrelly, E. Coste-mani?a¨remani?-mani?a¨re, B. Espiau, K. Kapellos, R. Pissard-gibollet et al., The ORCCAD Architecture, The International Journal of Robotics Research, vol.17, issue.4, pp.338-359, 1998.
DOI : 10.1177/027836499801700403
URL : https://hal.archives-ouvertes.fr/hal-00930119

J. Buisson, F. André, and J. Pazat, A framework for dynamic adaptation of parallel components, ParCo 2005, pp.13-16, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00498836

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 1999.

G. Delaval and E. Rutten, A domain-specific language for multi-task systems, applying discrete controller synthesis, J. on Embedded Systems, issue.84192, p.17, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00000867

E. Dumitrescu, A. Girault, H. Marchand, and E. Rutten, OPTIMAL DISCRETE CONTROLLER SYNTHESIS FOR MODELING FAULT-TOLERANT DISTRIBUTED SYSTEMS, Proc. of the 1st IFAC Workshop on Dependable Control of Discrete Systems, DCDS'07, 2007.
DOI : 10.3182/20070613-3-FR-4909.00031
URL : https://hal.archives-ouvertes.fr/hal-00375564

A. Gamatié, H. Yu, E. Rutten, P. Boulet, and J. Dekeyser, Synchronous Modeling and Analysis of Data Intensive Applications, EURASIP Journal on Embedded Systems, vol.2008, issue.1, 2006.
DOI : 10.1007/BF01379404

A. Girault and E. Rutten, Discrete controller synthesis for fault-tolerant distributed systems Workshop on Formal Methods for Industrial Critical Systems, FMICS 04, Proc. of the Ninth Int, 2004.

D. Harel and A. Pnueli, On the development of reactive systems In Logic and Models of Concurrent Systems, NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, pp.477-498, 1985.

J. Hellerstein, Y. Diao, S. Parekh, and D. Tilbury, Feedback Control of Computing Systems, 2004.
DOI : 10.1002/047166880X

J. O. Kephart, Research challenges of autonomic computing, Proc. of the 27th Int. Conf. on Software Engineering, ICSE'05, pp.15-22, 2005.

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

S. Krakowiak, Middleware Architecture with Patterns and Frameworks. electronic book, 2007. sardes.inrialpes.fr/~krakowia

O. Labbani, J. Dekeyser, P. Boulet, and E. Rutten, Chapter 10: Uml2 profile for modelling controlled data parallel applications Advances in Design and Specification Languages for Embedded Systems, pp.978-979, 2007.

L. Beux, P. Marquet, and J. Dekeyser, A design flow to map parallel applications onto fpgas, 17th IEEE International Conference on Field Programmable Logic and Applications, 2007.

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the Signal environment, Discrete Event Dynamic System: Theory and Applications, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Marchand and E. Rutten, Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002, pp.241-248, 2002.
DOI : 10.1109/EMRTS.2002.1019204
URL : https://hal.archives-ouvertes.fr/inria-00525533

H. Marchand and E. Rutten, Automatic generation of safe handlers for multi-task systems, Journal of Embedded Computing, issue.2, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00071252

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

M. Segarra and F. André, A framework for dynamic adaptation in wireless environments, Proceedings 33rd International Conference on Technology of Object-Oriented Languages and Systems TOOLS 33, 2000.
DOI : 10.1109/TOOLS.2000.848773

. Synalp, Synchronous applications, languages, and programs

. Sardes-team and . Objectweb, The Fractal Project, 2008.

I. Unité-de-recherche and I. Rhône, Alpes 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.