|
|
Research domain
Historicaly
Design of Reactive systems by a Synchronous Multi-formalism Approchs, integrating ESTEREL, LUSTRE, SYNCCHARTS and GRAFCET.
Validation of reactive systems, specified in GRAFCET.
Compilation of the model (and language) SyncCharts to an equivalent automaton
Nowadays
Compilation of the model (and language) Light Esterel (called LE)
Formal Proofs ans static analysis of Reactive Systems behaviours
Automatic Test Set Generator for Embedded Reactive Systems
Behavioural Modelling of Neuromorphic Systems by synchronous approach
Developed Tools
With these theoretical reseachs, software tools has been developed for Linux and Windows.
Edition, compilation and simulation of Grafcet and S-Grafcet
Compilation (J.Boucaron) of SyncCharts
Complementary tools around the BLIF format
Complementary tools around the Finite States Machines
Tools around Light Esterel
Publications
You can find here a link to my personal publications in the SPORTS Team of I3S Laboratory until 2007 and MCSOC team of LEAT Laboratory since 2007
Other links
If you are interested in the synchronous languages, do not hesitate to visit the web site SYNALP.
Each year, the SYNCHRON. seminar are dedicated to theses languages.