Professor Robert De Simone of INRIA, the Institut National De Recherche En Informatique et en Automatique, in Sophia Antipolis, France, is working on project AOSTE and has licensed Tensilica's Xtensa processor technology.

Project AOSTE is a joint team between INRIA and I3S, bi-localized in Sophia Antipolis and Rocquencourt. It builds on previous experience by research scientists from the former Tick and Ostre INRIA teams, and the I3S Sports team from the University of Nice.

We tackle several topics in the design methodologies for real-time embedded systems. Here design means altogether:

• High-Level Modeling
• Transformation and Analysis
• Implementation onto Embedded platforms

To cover this vast spectrum of subjects we need to specialize the type of formalisms we shall consider. We focus on synchronous reactive systems, such as Esterel/SyncCharts, and on the AAA methodology. Part of our activity will be devoted to enrich the proper UML modeling diagrams and profiles with elements allowing for efficient modeling and embedding of synchronous designs.

I.N.R.I.A.'s URL link

I.N.R.I.A.'s department link

I.N.R.I.A.'s project link