La perfection logicielle est-elle possible ? L'exemple du logiciel avionique critique

Certains logiciels -- dits critiques -- se doivent d'être  absolument fiables,car des vies humaines dépendent de leur bon  fonctionnement. Prenant comme exemple les commandes électroniques de vol  des avions modernes,nous verrons comment de tels logiciels sont  construits et validés avant leur,déploiement. Plusieurs des techniques  utilisées pour ce faire sont issues de résultats de recherche,à l'INRIA  et ailleurs: ce sera l'occasion d'en faire un rapide tour d'horizon.   Lentement mais sûrement,de tels résultats et leur passage dans la  pratique dessinent,un point après l'autre,un avenir où l'expression  logiciel zéro défaut ne sera plus une contradiction dans les termes.

Disciplines : Software systems analysis and design
Mots-clés : fiabilité logiciel
Type de document : image en mouvement
Type de ressource : lecture
Niveau : master,doctorat
Auteurs ou éditeurs : INRIA (Institut national de recherche en informatique et automatique),Xavier LEROY