AOSTE - 2012 - Annual activity report

AOSTE

AOSTE - 2012

Project-Team Aoste

Members

Overall Objectives

Embedded System Design
Highlights of the Year

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-Driven Engineering embedded design
Semantic translation of CCSL constraints into appropriate Büchi automata for trace recognition
Timing refinement for multidimensional dataflow models using MARTE Time Model
Process Network analysis
Transformation from MARTE Time Model and CCSL to formal analysis models
Use of MARTE Time Model and Logical Time in automotive design and AUTOSAR/TADL
Multiview modeling and power intent in Systems-on-chip
Correct and efficient implementation of polychronous formalisms
Programmable On-Chip Networks
Uniprocessor Real-Time Scheduling
Multiprocessor Real-Time Scheduling
Variability of program execution times on multicore processors

Bilateral Contracts and Grants with Industry

Thales ARCADIA/Melody

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2012 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