Verimag

Language Design

Lustre, Lustre evolutions, Lutin, Argos, Mode-Automata, Larissa

Synchronous languages are high level languages dedicated to the programming of reactive systems. The synchrone group invented 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.

The synchrone group also designed the LUTIN language, which can be seen as a stochastic extension of LUSTRE. The main objective of LUTIN programs is to simulate reactive systems environment for testing purposes (Lurette). The work on LUTIN and LURETTE led the creation of the Argosim start-up company.

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 : a language 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
— COMON


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 12 ; visits: 392535