Inria
/
Raweb 2008
Presentation of the Project aoste
Logo Inria
aoste
Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints
2008 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
Models of Computation and Communication (MoCCs)
UML support and Marte Time model
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
Optimal balanced scheduling of formal modeling of latency-insensitive systems
K-periodically Routed extended Event Graphs
Time Model for UML
Time in Models of Computation and Communication
Preemptive real-time scheduling in the monoprocessor case
Non-preemptive real-time scheduling in the multiprocessor case
Globally asynchronous implementations of synchronous specifications
Correct and efficient real-time implementation of synchronous specifications
Development of CyCab applications with SynDEx
Improvements in SynDEx
Contracts and Grants with Industry
Texas Instruments
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
