nous visons la mise en place d'un code opérationnel embarquable, adaptable et reconfigurable sur voilier réel ,
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
Platform-Independent Modelling in MDA: Supporting Abstract Platforms, Model Driven Architecture, pp.174-188, 2005. ,
DOI : 10.1007/11538097_12
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
Model Driven Engineering: An Emerging Technical Space, pp.36-64, 2006. ,
DOI : 10.1007/11877028_2
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
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
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
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
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
Software architecture, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.91-101, 2000. ,
DOI : 10.1145/336512.336537
Architecture multi-agents pour le pilotage automatique des voiliers de compétition et Extensions algébriques des réseaux de Petri, 2010. ,
A Survey of Petri Net Methods for Controlled Discrete Event Systems, Discrete Event Dynamic Systems, pp.151-190, 1997. ,
Autonomic Computing : IBM's Perspective on the State of Information Tech- nology, 2001. ,
PID control system analysis and design, IEEE Control Systems Magazine, vol.26, issue.1, pp.32-41, 2006. ,
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
Animation phénomènologique de la mer : une approche énactive, 2004. ,
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