Inria / Raweb 2005
Project: aoste

Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints

• Members
• Overall Objectives
• Scientific Foundations
  • High-Level Modeling
  • Transformations and analysis
  • Mapping onto Embedded platforms
• Application Domains
  • Embedded systems
  • Mobile robotics, automotive and transportation
  • Mobile phones and other communicating objects
  • System-on-Chip design
• Software
  • SyncCharts/Esterel
  • SynDEx
  • SynDEx-IC
• New Results
  • A UML profile for Real-Time Embedded System modeling
  • Formal modeling of latency-insensitive systems
  • UML Patterns for hardware/software architectures
  • AAA models
  • Scheduling and Optimization
  • Fault tolerance
  • CyCab experimentations
  • Improvements in SynDEx
• Contracts and Grants with Industry
  • ST MIcroelectronics
  • Texas Instruments
  • CARROLL PROTES
  • MBDA
  • Mitsubishi Electric ITE
• 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