. Dans-les-perspectives, nous visons la mise en place d'un code opérationnel embarquable, adaptable et reconfigurable sur voilier réel

M. Agrawal, S. Cooper, L. Graba, and E. V. Thomas, An open software architecture for high-integrity and high-availability avionics, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576), 2004.
DOI : 10.1109/DASC.2004.1390766

J. Almeida, R. Dijkman, M. Sinderen, and E. L. Pires, Platform-Independent Modelling in MDA: Supporting Abstract Platforms, Model Driven Architecture, pp.174-188, 2005.
DOI : 10.1007/11538097_12

D. Bertrand, A. Déplanche, S. Faucou, and E. O. Roux, A Study of the AADL Mode Change Protocol, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008), pp.288-293, 2008.
DOI : 10.1109/ICECCS.2008.29

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

J. Bézivin, Model Driven Engineering: An Emerging Technical Space, pp.36-64, 2006.
DOI : 10.1007/11877028_2

E. Borde, P. H. Feiler, G. Haïk, and E. L. Pautet, Model driven code generation for critical and adaptative embedded systems, ACM SIGBED Review, vol.6, issue.3, p.10, 2009.
DOI : 10.1145/1851340.1851352

Y. Brun, G. D. Serugendo, C. Gacek, H. Giese, H. Kienle et al., Software Engineering for Self-Adaptive Systems. Chapter Engineering Self-Adaptive Systems through Feedback Loops, pp.48-70, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00638157

J. Deantoni, J. Et, and . Babau, A MDA-based approach for real time embedded systems simulation, Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications, pp.257-264, 2005.
DOI : 10.1109/DISTRA.2005.2

URL : https://hal.archives-ouvertes.fr/inria-00587338

J. Deantoni, J. Et, and . Babau, SAIA : safe deployment of sensors based real time application, Workshop on Models and Analysis for Automotive Systems (held in conjunction with RTSS), 2006.
URL : https://hal.archives-ouvertes.fr/inria-00587178

P. Feiler, S. Lewis, E. E. Vestal, and . Colbert, An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering, Architecture Description Language, workshop at IFIP World Computer Congress, 2004.
DOI : 10.1007/0-387-24590-1_1

D. Garlan, Software architecture, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.91-101, 2000.
DOI : 10.1145/336512.336537

G. Guillou, Architecture multi-agents pour le pilotage automatique des voiliers de compétition et Extensions algébriques des réseaux de Petri, 2010.

L. Holloway, B. Krogh, and E. A. Giua, A Survey of Petri Net Methods for Controlled Discrete Event Systems, Discrete Event Dynamic Systems, pp.151-190, 1997.

P. Horn, Autonomic Computing : IBM's Perspective on the State of Information Tech- nology, 2001.

Y. Li, K. H. Ang, and G. C. Chong, PID control system analysis and design, IEEE Control Systems Magazine, vol.26, issue.1, pp.32-41, 2006.

F. Maker, R. Amirtharajah, and E. V. Akella, MELOADES: Methodology for long-term online adaptation of embedded software for heterogeneous devices, Journal of Systems Architecture, vol.59, issue.8, pp.643-655, 2013.
DOI : 10.1016/j.sysarc.2013.05.019

M. Parenthoën, Animation phénomènologique de la mer : une approche énactive, 2004.

F. Terrier, S. Et, and . Gérard, MDE Benefits for Distributed, Real Time and Embedded Systems, DIPES, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, pp.15-24, 2006.
DOI : 10.1007/978-0-387-39362-9_3