Section: Partnerships and Cooperations

Synchronics: Language Platform for Embedded System Design

Participants : Albert Benveniste, Timothy Bourke, Benoît Caillaud.

Large initiative action funded by INRIA. http://synchronics.inria.fr/

This project, started Jan 1st 2008, is supported by INRIA. It capitalizes on recent extensions of data-flow synchronous languages (mode automata, Lucid Synchrone, Signal, Lustre, ReactiveML, relaxed forms of synchronous composition or compilation techniques for various platforms). We aim to address the main challenges of embedded system design, starting from a single, semantically well founded programming language.

Our contribution in 2011 is detailed in Section  6.2 . A detailed account of the work carried out in Synchronics can be found in the slides presented during the mid-term evaluation seminar of the action: http://synchronics.inria.fr/doku.php/mid-term-review