Détail d'une fiche   Version PDF


Well Honed Infrastructure Software for Programming Environments and Runtimes


Statut: Décision signée

Responsable : Julia Lawall

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : A1. Architectures, systèmes et réseaux , A1.1.1. Multi-cœurs, pluri-coeurs , A1.1.3. Modèles memoire , A1.1.13. Virtualisation , A2.1.6. Programmation concurrente , A2.1.10. Langages dédiés , A2.2.1. Analyse statique , A2.2.5. Environnements d'exécution , A2.2.8. Génération de code , A2.4. Méthodes formelles pour vérification, sureté, certification , A2.4.3. Preuves , A2.5. Génie logiciel , A2.5.4. Maintenance, évolution , A2.6.1. Systèmes d'exploitation , A2.6.2. Intergiciels , A2.6.3. Machines virtuelles

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : B5. Industries du futur , B5.2.1. Véhicules routiers , B5.2.3. Aviation , B5.2.4. Spatial , B6.1. Industrie du logiciel , B6.1.1. Génie logiciel , B6.1.2. Evolution, maintenance , B6.5. Systèmes d'information , B6.6. Systèmes embarqués

Domaine : Réseaux, systèmes et services, calcul distribué
Thème : Systèmes distribués et intergiciels

Période : 01/12/2015 -> 30/06/2026
Dates d'évaluation : 13/10/2016 , 07/10/2021

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de Paris
Localisation : Centre de recherche Inria de Paris
Code structure Inria : 021136-1

Numéro RNSR : 201421141Y
N° de structure Inria: SR0720UR


The focus of Whisper is on how to develop (new) and improve (existing) infrastructure software.  Infrastructure software (also called systems software) is the software that underlies all computing. Such software allows applications to access resources and provides essential services such as memory management, synchronization and inter-process interactions. Starting bottom-up from the hardware, examples include virtual machine hypervisors, operating systems, managed runtime environments, standard libraries, and browsers, which amount to the new operating system layer for Internet applications. For such software, efficiency and correctness are fundamental. Any overhead will impact the performance of all supported applications. Any failure will prevent the supported applications from running correctly. Since computing now pervades our society, with few paper backup solutions, correctness of software at all levels is critical.  Formal methods are increasingly being applied to operating systems code in the research community. Still, such efforts require a huge amount of manpower and a high degree of expertise which makes this work difficult to replicate in standard infrastructure-software development.

In terms of methodology, Whisper is at the interface of the domains of operating systems, software engineering and programming languages.  Our approach is to combine the study of problems in the development of real-world infrastructure software with concepts in programming language design and implementation, e.g., of domain-specific languages, and knowledge of low-level system behavior. A focus of our work is on providing support for legacy code, while taking the needs and competences of ordinary system developers into account.

We aim at providing solutions that can be easily learned and adopted by system developers in the short term. Such solutions can be tools, such as Coccinelle for transforming C programs, or domain-specific languages such as Devil and Bossa for designing drivers and kernel schedulers. Due to the small size of the team, Whisper will mainly target operating system kernels and runtimes for  programming languages.  We will put an emphasis on achieving measurable improvements in performance and safety in practice, and on feeding these improvements back to the infrastructure software developer community.

Axes de recherche

Relations industrielles et internationales