Some prototype tools
I participated to the development of the Gaspard2 codesign environment, for high-performance embedded systems.
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).