Abdoulaye GAMATIE CNRS Senior Researcher

Some prototype tools

Gaspard environment

I participated to the development of the Gaspard2 codesign environment, for high-performance embedded systems.

Polychrony/SME environment

I defined a library of polychronous component models for the design of avionic applications, based on the avionic APEX-ARINC 653 standard. A presentation of this library is available here (contact: L. Besnard).

Clock analysis system (Classy)

I have been involved in the definition of a design analysis tool for MPSoCs. This tool relies on abstract clocks as found in synchronous reactive programming (contact: X. An).