ESPRESSO Research team

Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems

Team presentation

The objectives of ESPRESSO project-team are to propose formal models and implement formal methods and reliable tools for engineering trusted application components and architectures for embedded and mission-critical systems, on a spectrum of architectures ranging from circuits to distributed systems, yet within a simple mathematical framework offering the best reliability guarantees. The project-team demonstrates the effectiveness and efficiency of this approach by means of the POLYCHRONY design environment.
POLYCHRONY, based on the SIGNAL language, is an integrated development environment and technology demonstrator consisting of a compiler, a visual editor and a model checker.

Research themes

The ESPRESSO project-team studies a design methodology that draws a continuum
  • from synchrony to desynchronization,
  • from specification to implementation,
  • from abstraction to concretization,
  • from interfaces to implementations.
Project-team ESPRESSO studies also the opening of the POLYCHRONY framework to current industrial practices (Java, SystemC,...) and validation/verification tools.

International and industrial relations

The ESPRESSO project-team has industrial relations with
  • the TNI-Software company (Valiosys group) which provides a commercial implementation of POLYCHRONY (Sildex/RT-Builder),
  • CS-SI, CEA-List, MBDA, SITIA (RNTL ACOTRIS project),
  • AONIX, SILICOMP, THALÈS, EDF, AIRBUS, VERIMAG (RNTL EXPRESSO project),
  • THALES and CEA-List (CARROLL research programme).
It is involved in the activity of the ARTIST network of excellence.
It participates in NSF-INRIA Cooperation with Virginia Tech and UC San Diego.
The project-team initiated the joint ACM-IEEE conference on formal methods and models for codesign (MEMOCODE).

Research teams of the same theme :

Inria Headquarters and research centres

Direct links

Social