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
People
- Pascal Raymond
- Paul Caspi
- Erwan Jahier
- Karine Altisen
- Nicolas Halbwachs
- Florence Maraninchi
Projects
— Synchronics
— ALIDECS
— SYRF
