Evolutions of Lustre, Lustre Arrays, Argos, Mode-Automata, Larissa, Lutin and Lucky, ...
Synchronous languages are high level languages dedicated to the programming of reactive systems. Verimag is mainly involved in the development of the synchronous language LUSTRE, which is the core language of the industrial environment SCADE. SCADE is developed by Esterel-Technologies, and used, in particular by Airbus, for the on-board software of Airbus A340/600 and A380. See the history of SCADE on the Esterel technologies website.
In the recent years, we have been working on several other synchronous languages:
— Argos: a pure synchronous automaton-based language, inspired from the Statecharts constructs;
— Mode-automata: a way of combining Argos automata with Lustre equations, in order to describe running-modes of embedded reactive systems;
— Larissa: a extension of Argos with aspect-oriented features;
— Lutin and Lucky: a family of languages for the description and execution of non-deterministic reactive systems.
Moreover, we still work on Lustre itself. Recent work has been conducted in the context of the ALIDECS project. Ongoing work is done in the context of the Synchronics project.
People Involved and Related Projects
- Pascal Raymond
- Paul Caspi
- Erwan Jahier
- Karine Altisen
- Nicolas Halbwachs
- Florence Maraninchi