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) : Laboratoire informatique, signaux systèmes de Sophia Antipolis (I3S) (UMR7271)
Team presentationAOSTE 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 themesWe conduct research on design of real-time embedded systems.
Here "design" means altogether:
- High-Level Modeling
- Transformation and Analysis
- Implementation onto Embedded platforms
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.