Inria
/
Raweb 2010
Presentation of the Project aoste
Logo Inria
aoste
Models and methods of analysis and optimization for systems with real-time and embedding constraints
2010 Research Team Activity Report
Sophia Antipolis - Méditerranée
-
Paris - Rocquencourt
Field :
Algorithmics, Programming, Software and Architecture
Theme : Embedded and Real Time Systems
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Embedded System Design
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 modeling and Clock Constraint Specification Language
Model-Driven Engineering for Embedded Systems: OMG UML profile MARTE
SoC Virtual Platform modeling, from MARTE to IP-XACT to SystemC, and back
Requirement modeling and traceability
Process Networks with regular routing schemes: Mathematical foundations and optimizations
Real-time implementations over precise-timed dynamic TDMA architectures
From Concurrent Multi-clock programs to Deterministic Asynchronous Implementations
Uniprocessor real-time scheduling
Multiprocessor real-time scheduling
Upgrades in SAS software
Upgrades in SynDEx
Contracts and Grants with Industry
ID/TL-M project with ST Microelectronics
Other Grants and Activities
Regional collaborations
National Initiatives
European Initiatives
International Initiatives
Dissemination
Animation of the scientific community
Teaching
Bibliography
Major publications
Publications of the year
References in notes
