Personnel
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


2017 Project-Team Activity Report
WHISPER
Well Honed Infrastructure Software for Programming Environments and Runtimes
Research centre: Paris
In partnership with: CNRS, Université Pierre et Marie Curie (Paris 6)
In collaboration with: Laboratoire d'informatique de Paris 6 (LIP6)

Field: Networks, Systems and Services, Distributed Computing
Theme: Distributed Systems and middleware
Keywords:
Computer Science and Digital Science:
  • A1. - Architectures, systems and networks
  • A1.1.1. - Multicore, Manycore
  • A2. - Software
  • A2.1.6. - Concurrent programming
  • A2.1.10. - Domain-specific languages
  • A2.1.11. - Proof languages
  • A2.2.1. - Static analysis
  • A2.2.3. - Run-time systems
  • A2.3.1. - Embedded systems
  • A2.3.3. - Real-time systems
  • A2.4. - Verification, reliability, certification
  • A2.4.3. - Proofs
  • A2.5. - Software engineering
  • A2.6. - Infrastructure software
  • A2.6.1. - Operating systems
  • A2.6.2. - Middleware
  • A2.6.3. - Virtual machines
Other Research Topics and Application Domains:
  • B5. - Industry of the future
  • B5.2.1. - Road vehicles
  • B5.2.3. - Aviation
  • B5.2.4. - Aerospace
  • B6.1. - Software industry
  • B6.1.1. - Software engineering
  • B6.1.2. - Software evolution, maintenance
  • B6.3.3. - Network Management
  • B6.5. - Information systems
  • B6.6. - Embedded systems