Inria
/
Raweb 2006
Presentation of the Project aoste
Logo Inria
aoste
Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints
2006 Research Team Activity Report
Sophia Antipolis - Méditerranée
-
Paris - Rocquencourt
Theme :
COM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Languages and Models
Transformations and analysis
Application Domains
Mobile robotics, automotive and transportation
Mobile phones and other communicating objects
System-on-Chip design
Software
SyncCharts/Esterel
K-passa
SynDEx
SynDEx-IC
New Results
A UML profile for Real-Time Embedded System modeling
Formal modeling of latency-insensitive systems
Globally asynchronous implementations of synchronous specifications
UML Patterns for hardware/software architectures
Preemptive off-line scheduling in the monoprocessor case
Non-preemptive off-line scheduling in the multiprocessor case
Mixing off-line and on-line scheduling for aperiodic operations with latency constraints
Improvements in SynDEx
Contracts and Grants with Industry
ST MIcroelectronics
Texas Instruments
CARROLL PROTES
MBDA
Other Grants and Activities
Regional collaborations
Nation-wide collaborations
European collaborations
Research exchange visits
Dissemination
Leadership within scientific community
Teaching
Bibliography
Major publications
Publications of the year
References in notes