Evénements
thèse financée sur la "Réutilisation de composants logiciels pour l'outillage de DSML dans le contexte des MPSoC" à partir de septembre 2012
déposez vos candidatures avant le 9 mai 2012 plus d'info
les outils Modif sont disponibles
ici
le nouveau M2 SIAM ouvre en Octobre 2012, retrouvez ici la plaquette et une présentation de la formation
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 IHM pour l'embarqué (ici)
- Le robot Lego® NXT et son langage NXC (ici)
- Configurer la brique (ici)
- Introduction à l'ingéniérie du logiciel et à l'ingéniérie dirigée par les 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 LISyC (2006/2011) (ici)
Sélection d´articles avant 2006 (ici)
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 Mai 2010
Liens personnels
