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.
