La vidéothèque de l'UL : 9242 vidéos // 701 collections

  • Accueil
  • Connexion
Interview
Reportages
Documentaires
Actualités
Témoignages
Conférences
Bandes Annonces
Cours
Film d'étude

Xavier Leroy : “À la recherche de la perfection logicielle”

Durée : 1h 14m 07s / Nombre de vues : 1144

Xavier Leroy : “À la recherche de la perfection logicielle”

  • Informations
  • Partager
  • Intégrer

Pour le grand public, le mot "logiciel" est devenu synonyme de "bug" et de "faille de sécurité".  Pourtant, il existe des logiciels critiques, dont dépendent des vies humaines, qui atteignent un extraordinaire niveau de fiabilité.  

Prenant l'exemple des logiciels avioniques de commandes électroniques de vol, je montrerai quelques unes des techniques qui mènent à cette fiabilité.  L'une d'entre elles passe par l'utilisation de méthodes formelles automatisées par des outils de vérification (analyse statique, preuve de programmes, vérification par modèles) en complément, et parfois en remplacement, des méthodes traditionnelles de vérification à base de tests.  

Cependant, les garanties fournies par la vérification formelle sont limitées par la confiance que nous pouvons avoir envers les outils de vérification et envers les compilateurs et générateurs automatiques de code qui produisent le vrai code exécutable à partir du code source qui a été vérifié.  En m'appuyant sur l'exemple du compilateur C vérifié CompCert, je montrerai l'intérêt et l'efficacité de vérifier formellement, à l'aide d'assistants de preuve, les outils qui sont impliqués dans la construction et la vérification du logiciel critique.

Date de réalisation : 25-05-2018

Date de dépôt : 25-05-2018

Type(s) de vidéo :

Structure(s) :

Thématique :

Collection :

< >

Réalisateur(s) : Université de Lorraine

Réseaux sociaux :
FacebookGoogle plusGoogle plus

Ou

Copier le contenu de la zone de texte puis le coller dans la page



x

Collections

Recherche avancée

Prochains directs

L'opérette viennoise (le 19-01-2021 de 14:30:00 à 15:30:00)
Les Nuits de la lecture 2021 (le 21-01-2021 de 11:30:00 à 18:30:00)
© 2020 Université de Lorraine | Contact