Construire des logiciels fiables - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Interstices Année : 2024

Construire des logiciels fiables

Sylvain Boulmé

Résumé

Les « bugs » informatiques, c'est-à-dire les erreurs involontaires de programmation, peuvent avoir des conséquences désastreuses, quand elles ont lieu dans un logiciel critique, comme dans un centre d'appel téléphonique d'urgence (cf. la panne de juin 2021 1), ou pire dans le système de sécurité d'une centrale nucléaire. Ce document a l'ambition d'expliquer de façon élémentaire comment la programmation défensive formellement vérifiée, en complément des méthodes traditionnelles du génie logiciel, permet de réduire significativement les risques de telles erreurs. En passant, nous discutons de pensée floue, puis de formalisation mathématique en l'illustrant sur des problèmes proches des « sudokus » (en fait les problèmes SAT booléens).
Fichier principal
Vignette du fichier
programmation_defensive_formellement_verifiee.pdf (271.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04438448 , version 1 (05-02-2024)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

  • HAL Id : hal-04438448 , version 1

Citer

Sylvain Boulmé. Construire des logiciels fiables. Interstices, 2024. ⟨hal-04438448⟩
13 Consultations
6 Téléchargements

Partager

Gmail Facebook X LinkedIn More