enseignement
- 2010-2011 : Cours et TD sur la transformation de modèles d'Introduction à l'Ingénierie Dirigée par les Modèles, Polytech'Nice-Sophia
- 2009-2010 : TDs d'Algorithmique et structures de données, Polytech'Nice-Sophia
- 2008-2009 : TDs d'Architecture évoluée, Université des Sciences et Technologie de Lille
reviews
- 2009 : RenPar’19, Rencontres francophones du Parallélisme,
- 2009 : SOC 2009, International Symposium on System-on-Chip 2009
- 2008-2009 : ACM TECS, Numéro spécial sur le design basé sur des modèles des systèmes embarqués
liens logiciels
-
TimeSquare,
un MDK (Model Development Kit) fourni comme un ensemble de plugins Eclipse qui peut être téléchargé ou installé sur une version existante d'eclipse (télécharger). Il contribue à la définition de MoCCs s'appuyant sur une sémantique formelle. Ces MoCCs peuvent être décrits et utilisés pour la simulations et l'analyse. Timesquare est basée sur le langage de spécification de contraintes d'horloge CCSL (Clock Constraint Specification Language). -
Array-OL refactoring:
Un plugin Papyrus UML pour la manipulation visuelle des modèles Array-OL, par des transformations Array-OL. Array-OL est complètement compatible avec le package Repetitive Structure Modeling du Standard OMG Marte.
Instructions d'utilisation du plugin sont disponible, ensemble avec des modèles exemple pour tester. -
Outil d'import/export
entre le format Gaspard2 (UML + profile MARTE) et le format XML de PIPS, dans le contexte du projetTer@ops. -
Gaspard2 Framework
un environnement de développement intégré (IDE) pour la co-modélisation visuelle des SoC. Il permet la modélisation, de simulation et de génération de code des applications SoC et des architectures matérielles.