Épisode 4 – Orchestrer le code pour éviter les bugs critiques скачать в хорошем качестве

Épisode 4 – Orchestrer le code pour éviter les bugs critiques

On vous l'a déjà dit. Les logiciels sont partout : dans les avions, les voitures, les satellites ou les systèmes embarqués. Mais dans ces contextes critiques, il ne suffit pas que les programmes fonctionnent « la plupart du temps ». Il faut pouvoir garantir qu’ils ne produiront pas d’erreurs m0rtelles. Cet épisode présente le projet VeriAMOS, porté par Xavier Rival, chercheur au centre Inria de Paris et professeur au département d’informatique de l’École normale supérieure – PSL. Les chercheurs s’appuient sur des méthodes d’analyse statique pour vérifier le comportement des logiciels sans avoir à tester toutes leurs exécutions possibles, ce qui est théoriquement impossible. À partir de modèles abstraits, ils identifient les zones à risque et sécurisent le fonctionnement global des systèmes. Ces approches sont appliquées à des logiciels réels, comme FreeRTOS, utilisé dans de nombreux systèmes embarqués. Croquons le Numérique est une série de vidéos dessinées produites par Inria et Trois Petits Points, qui propose une vulgarisation accessible des projets soutenus par l’Agence nationale de la recherche, afin de mieux comprendre les avancées de la recherche en sciences du numérique. Illustrations : Sylvie Forêt.