Inria
/
Raweb 2009
Presentation of the Project aoste
Logo Inria
aoste
Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints
2009 Research Team Activity Report
Sophia Antipolis - Méditerranée
-
Paris - Rocquencourt
Area :
Algorithmics, Programming, Software and Architecture
Theme : Embedded and Real Time Systems
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Embedded System Design
Highlights
Scientific Foundations
Models of Computation and Communication (MoCCs)
Model-Driven Engineering for Real-time and Embedded systems
Modeling standards in embedded system design
Application Domains
Multicore System-on-Chip design
Automotive and avionic embedded systems
Software
TimeSquare
K-Passa
SynDEx
SAS
New Results
K-periodically Routed extended Event Graphs
CCSL: syntax and semantics
UML profiles
A semantic model for domain-specific languages
Interoperability and system-level validation of IP component blocks
Virtual Platform modeling
Executable Timed Requirements for automotive applications
Monoprocessor real-time scheduling
Multiprocessor real-time scheduling
Clock-driven real-time implementation of synchronous specifications
From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations
Contracts and Grants with Industry
ID/TL-M project with ST MIcroelectronics
Thales TRT
Other Grants and Activities
Regional collaborations
Nation-wide collaborations
European collaborations
Dissemination
Leadership within scientific community
Teaching
Bibliography
Major publications
Publications of the year
References in notes