Evénements
Pour plus d'informations sur le M2 ILIADE (Génie logiciel et données environnementales)
le framework NOUMEA est disponible
ici
les outils Modif sont disponibles
ici
Activité de recherche
- Thème de recherche : Architectures logicielles pour les systèmes embarqués temps réel communicants
- Modèles de styles architecturaux à composants pour une meilleure séparation des
préoccupations et pour la prise en compte de contraintes de QoS liées à l´utilisation
de ressources limitées
- Analyses de performance à base d´automates temporisés et d´observateurs
- keywords : software architecture, CBSE, ADL, architectural pattern, MDE, QoS, timed automata, exhaustive simulation, observers
HDR soutenue le 12 décembre 2005
« Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel »
(ici)
Enseignements
- Les systèmes embarqués (ici)
- Les exécutifs temps réel (ici)
- Les pilotes de périphériques (ici)
- Les pilotes de périphériques sous Linux (ici)
- Les IHM pour l'embarqué (ici)
- Le robot Lego® NXT et son langage NXC (ici)
- Configurer la brique (ici)
- Ingéniérie dirigée par les modèles (Introduction)
- Mise en oeuvre de modèles sous EMF (ici)
- Les éditeurs de modèles (ici)
- Les transformations de modèles (ici)
Avertissement : les fichiers téléchargeables sont des copies de transparents servant de support aux cours (sans évidemment les commentaires nécessaires à leur compréhension). Ces supports sont libres d´utilisation. Si vous les réutilisez pour faire un cours ou une présentation, ayez l´amabilité de citer l´auteur. Et surtout, si vous trouvez des erreurs, des coquilles ou si vous voyez des améliorations possibles, n´hésitez pas à m´en faire part. Je suis aussi intéressé par récupérer des cours sur le domaine des systèmes embarqués communicants.
Publications
La liste complète des publications depuis 2006 (ici)
laboratoire LISyC de 2006 à 2011 et Lab-STICC à partir de 2012
Sélection d´articles avant 2006 (ici)
laboratoire CITI de l'INSA de Lyon jusqu'en 2005
Animation et projets
- Projet ANR RT-Simex
- Participation au profil MARTE de l´OMG (UML Profile for MARTE, Beta 1)
-
Membre des comités de programme de
-
MDE for DRES 2009 Model-Driven Engineering for Distributed and Real-Time Embedded Systems, summer school, Aussois, from April 20 to 24 2009
-
ETR 09 Ecole d´été sur le Temps Réel, Paris, du 31 Aout au 4 septembre 2009
-
MSR 09 Modélisation des Systèmes Réactifs, Nantes, du 16 au 18 novembre 2009
-
FDL 2010 Forum on Design Language, Southampton, UK
September 14-16, 2010
-
RTS'10 International Workshop on Real-Time Software, Mragowo, Poland
October 18-20, 2010
-
IDM 2010 Journées de l´Ingéniérie Dirigée par les modèles, Pau, du 8 au 12 Mars 2010
-
MARTES 2006 Modeling and Analysis of Real-Time and Embedded Systems, October 2, 2006 in Genova, Italy
- Anciens Projets
- Membre de REVE (projet ARA de l´ANR)
mis à jour en 2016
Liens personnels