AOSTE - 2011 - Annual activity report

AOSTE

AOSTE - 2011

Project Team Aoste

Members

Overall Objectives

Embedded System Design
Highlights

Scientific Foundations

Models of Computation and Communication (MoCCs)
Logical Time in Model-Driven Embedded System Design
The AAA (Algorithm-Architecture Adequation) methodology and Real-Time Scheduling

Application Domains

Multicore System-on-Chip design
Automotive and avionic embedded systems

Software

TimeSquare
K-Passa
SynDEx
SAS

New Results

Logical time in Model-Based embedded design
Model-Based approaches to SoC design
Process Network analysis
Correct and efficient implementation of polychronous formalisms
Uniprocessor Real-time Scheduling
Multiprocessor Real-time Scheduling

Contracts and Grants with Industry

ID/TL-M project with ST Microelectronics
Thales ARCADIA/Melody

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives

Dissemination

Animation of the scientific community
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2011 Team Activity Report

AOSTE

Models and methods of analysis and optimization for systems with real-time and embedding constraints

Research centre: Sophia Antipolis - Méditerranée - Paris - Rocquencourt

In partnership with: CNRS, Université Nice - Sophia Antipolis

In collaboration with: Laboratoire informatique, signaux systèmes de Sophia Antipolis (I3S)

Field: Algorithmics, Programming, Software and Architecture

Theme: Embedded and Real Time Systems

Keywords: Embedded Systems, Synchronous Languages, Model-Driven Engineering, Real-Time, Scheduling, Concurrency, Model Of Computation