Sites Inria

Version française

AOSTE Research team

Models and methods of analysis and optimization for systems with real-time and embedding constraints

  • Leader : Robert De simone
  • Research center(s) : CRI Sophia Antipolis - Méditerranée
  • Field : Algorithmics, Programming, Software and Architecture
  • Theme : Embedded and Real-time Systems
  • Partner(s) : Université Nice - Sophia Antipolis,CNRS
  • Collaborator(s) : U. NICE SOPHIA ANTIPOLIS (UNS), CNRS

Team presentation

AOSTE is the follow-up project-team of the former INRIA teams TICK and OSTRE, and the I3S Sports team (I3S is an associated laboratory between the CNRS and the University of Nice). AOSTE should become a joint project-team between INRIA, CNRS and UNSA.
detailed technical description of our goals

Research themes

We conduct research on design of real-time embedded systems.

Here "design" means altogether:
  • High-Level Modeling
  • Transformation and Analysis
  • Implementation onto Embedded platforms
To cover this vast spectrum we need to specialize the type of formalisms considered. We focus on synchronous reactive formalisms, such as Esterel/SyncCharts, and on the AAA/SynDEx codesign methodology.

Part of our activities will be devoted to enrich the appropriate UML modeling diagrams and profiles with elements allowing for efficient representation and embedding of synchronous designs. We insist on full-fledge sound semantic definitions of our constructs, using the so-called "synchronous" hypothesis, to allow and justify powerful techniques for analysis, optimization, verification, and synthesis/compilation onto distributed embedded architectures under real-time constraints.

International and industrial relations

We are active members of the "Synchronous" community, in connection with the S4, ESPRESSO, and POP-ART INRIA project-teams, with the VERIMAG CNRS laboratory, and with the univeristies of Columbia (New York).

The spin-off company Esterel-Technologies was launched from the former Meije project. This company markets the software environments Esterel Studio and SCADE, based on synchronous technology.

In the framework of the PROTES project, inside the CARROLL joint INRIA/Thales/CEA initiative, we built the MARTE UML profile RFP that was voted at OMG. MARTE stands for "Modelling and Analysis of Real-Time Embedded systems". This work was conducted together with the Espresso and DaRT INRIA project-teams.

In the context of the CIM PACA regional mutualization Center for microelectronics we collaborate on System-on-Chip design topics with Texas Instruments, ST Microelectronics, and Philips.

The AAA methodology and SynDEx are used in industrial context by MBDA, Mitsubishi ITE, and Robosoft.

Keywords: Embedded system Real-time Synchronous Reactive Modeling Distribution Scheduling Compilation Codesign