AOSTE - 2013 - Annual activity report

AOSTE

AOSTE - 2013

Project-Team Aoste

Members

Overall Objectives

Embedded System Design
Highlights of the Year

Research Program

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 and Platforms

TimeSquare
K-Passa
SynDEx
Lopht
SAS

New Results

Process Networks with routing for parallel architectures
Formal analysis of MARTE Time Model and CCSL
Logical time in Model-Driven Engineering of embedded systems
Multiview modeling and power intent in Systems-on-chip
Performance variability analysis on manycore architectures
Off-line (static) mapping of real-time applications onto NoC-based many-cores
WCET estimation for parallel code
Real-time scheduling and code generation for time-triggered platforms
Uniprocessor Real-Time Scheduling
Multiprocessor Real-Time Scheduling
Probabilistic Real-Time Systems

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2013 Project-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