AOSTE - 2014 - Annual activity report

AOSTE

AOSTE - 2014

Project-Team Aoste

Members

Overall Objectives

Embedded System Design

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

New Software and Platforms

TimeSquare
K-Passa
SynDEx
Lopht
SAS

New Results

Languages, Models of Computation and Metamodeling using logical clock constraints
Experiments with Architecture and Application modeling
Multiview modeling with performance and power aspects
Heterogeneous Languages Coordination with Concurrency and Time
Performance study of Massively Parallel Processor Array (MPPA) SoC architecture
Parametric and Non Parametric Statistics for Code Performance Analysis
Uniprocessor Real-Time Scheduling
Multiprocessor Real-Time Scheduling
Probabilistic Real-Time Systems
Off-line (static) mapping and WCET analysis of real-time applications onto NoC-based many-cores
Real-time scheduling and code generation for time-triggered platforms

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

Promoting Scientific Activities
Teaching - Supervision - Juries

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2014 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, Models Of Computation