Project-Team Aoste
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

up Home | Next next

2015 Project-Team Activity Report
AOSTE
Models and methods of analysis and optimization for systems with real-time and embedding constraints
Research centre: Sophia Antipolis - Méditerranée - Paris - Rocquencourt
In partnership with: CNRS, Université Nice - Sophia Antipolis
In collaboration with: Laboratoire informatique, signaux systèmes de Sophia Antipolis (I3S)

Field: Algorithmics, Programming, Software and Architecture
Theme: Embedded and Real-time Systems
Keywords:
Computer Science and Digital Science:
  • 1.1.1. - Multicore
  • 1.1.12. - Non-conventional architectures
  • 1.1.2. - Hardware accelerators (GPGPU, FPGA, etc.)
  • 1.2.3. - Routing
  • 1.2.5. - Internet of things
  • 1.2.7. - Cyber-physical systems
  • 1.5.1. - Systems of systems
  • 1.5.2. - Communicating systems
  • 2.1.1. - Semantics of programming languages
  • 2.1.10. - Domain-specific languages
  • 2.1.6. - Concurrent programming
  • 2.1.8. - Synchronous languages
  • 2.2.4. - Parallel architectures
  • 2.2.5. - GPGPU, FPGA, etc.
  • 2.3. - Embedded and cyber-physical systems
  • 2.4.1. - Analysis
  • 2.4.2. - Verification
  • 4.5. - Formal methods for security
  • 6.1.5. - Multiphysics modeling
  • 6.2.7. - High performance computing
  • 7.11. - Performance evaluation
  • 7.2. - Discrete mathematics, combinatorics
Other Research Topics and Application Domains:
  • 5.1. - Factory of the future
  • 5.4. - Microelectronics
  • 6.1.1. - Software engineering
  • 6.4. - Internet of things
  • 6.6. - Embedded systems
  • 8.1. - Smart building/home