AOSTE : Models and methods of analysis and optimization for systems with real-time and embedding constraints (project-team)

About the project : Project-Team site Activity report Research reports Theses Theme : Com Communicating systems Paris - Rocquencourt research center Sophia Antipolis - Méditerranée research center

This Research-Team is a follow-up of TICK Research-Team
This Research-Team is a follow-up of OSTRE Research-Team

Project-Team Presentation

Joint project-team with I3S (UNSA and CNRS), located in Sophia Antipolis and Rocquencourt.

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.

Software

Esterel, SynDEx, SyncCharts

Scientific leader

Robert DE SIMONE     [homepage]
+33 4 92 38 79 41
Robert.de_Simone@sophia.inria.fr
Secretary : +33 4 97 15 53 80