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.