Synchronics

The goal of the project is to propose new languages for the
development of embedded systems allowing from a unique source to both simulate the system with its environment and generate code. It capitalizes on recent extensions of data-flow synchronous languages (Lucid Synchrone, ReactiveML), relaxed forms of synchrony and means to mix discrete and continous systems inside the synchronous model of time.

The project focuses on language extensions to increase modularity, dedicated type systems to ensure safety properties, efficient compilation and the mix of discrete and continuous time.

Research activities
  Synchronous Programming

Participants
MANDEL Louis


More information : http://synchronics.wiki.irisa.fr