|
|
|
Domaines de recherche
Historiques
Spécification et réalisation de systèmes réactifs par une approche multi-formalismes Synchrones intégrant ESTEREL, LUSTRE, SYNCCHARTS et GRAFCET.
Validation de systémes réactifs, spécifiés en GRAFCET.
Compilation du modèle (et langage) SyncCharts en automate équivalent
Actuels
Compilation du modèle (et langage) LightEsterel
Preuves formelles et analyse statique de comportements de Systèmes Réactifs
Génération automatique de jeux de test pour les Systèmes Réactifs Embarqués
Modélisation comportementale des Systèmes Neuromorphiques par approche synchrone
Outils développés
Parallèlement à ces recherches, des outils logiciels ont été développé sous Linux et Windows XP.
Edition, compilation et simulation du Grafcet et S-Grafcet
Compilation (J.Boucaron) de SyncCharts
Outils complémentaires autour du format blif
Outils complémentaires autour des machines d'états finis
Outils relatifs à LightEsterel
Publications
Vous trouverez ici un lien vers mes publications personnelles dans l'équipe SPORTS du laboratoire I3S jusqu'en 2007 et dans l'équipe MCSOC du laboratoire LEAT depuis 2007
Autres liens
Si les langages synchrones vous intéressent, n'hésitez pas à faire un tour sur le portail web SYNALP.
Chaque année, le séminaire SYNCHRON. est dédié à ces langages.
