Team aoste

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Overall Objectives

Keywords : synchronous hypothesis, synchronous reactive formalisms, real-time embedded systems, systems-on-Chip, high-level modeling, UML, formal semantics, automatic verification, program analysis, hardware synthesis, compilation techniques, architectural models, code distribution, codesign, mapping, adequation, scheduling, optimization, code generation, multiprocessors.

Overall Objectives

The main goal of Aoste is to provide innovative approaches for the design of real-time and embedded systems, based on powerful algorithmic methods applied to well-defined models with sound mathematical semantics (in short: formal model-based design). Here ``design'' means altogether:

High-Level Modeling

Model transformation and analysis

Implementation onto Embedded platforms

We shall try to promote our semantically sound, model-based approach at each of these three levels. In the case of high-level modeling , this translates into the need for offering appealing and familiar syntactic constructs to help shape up modular semantic model construction; for the transformation and analysis part , the goal is to provide ``correct-by-construction'' synthesis techniques to transform models progressively from higher-level to lower-level, and check otherwise their match against correctness properties; in the implementation onto embedded platforms part, we introduce an explicit architectural platform, and consider the optimized mapping in time and space of models-as-programs onto this platform.

To cover this vast spectrum of topics we need to specialize the type of formalisms we shall consider. We focus on synchronous reactive languages , such as Esterel/SyncCharts, and on the Application/Architecture/Adequation (AAA) methodology, as implemented in the SynDEx design environment. Typical application domains for our techniques are found in nowadays major embedded electronic fields, such as mobile telephones and similar appliances branded as ``secure communicating objects'', in mobile robotics, in automotive and aircraft transportation, and in digital system-on-chip (SoC) design.


previous
next

Logo Inria