SURETE DE FONCTIONNEMENT DES SYSTEMES LOGICIELS

• Comprendre la notion de sûreté de fonctionnement des systèmes logiciels
• Les divers points de vue couverts par la notion de sûreté de fonctionnement des systèmes logiciels • Assises, difficultés et structuration du domaine • Maîtriser la définition d'un système informatisé sûr de fonctionnement
• La spécification du système • Analyser les besoins et leurs implications au regard de la qualité d’usage attendue (Que doit faire le système ? Comment doit-il le faire ?) • L’analyse qualitative • Prévoir et prévenir les dysfonctionnements probables du système (que ne doit pas faire le système, au regard des risques ?) • Maîtriser le processus pour éviter la défaillance d'un système informatisé
• (Une faute de production induit un défaut dans le système, ce défaut peut générer une erreur qui, sollicitée peut provoquer la défaillance) • L’évitement des fautes • Lors de la production du système informatisé : limiter, a priori, l’introduction de défauts • L’élimination des défauts • Réduire le nombre de défauts tout de même générés en production • La prévision des défauts • Estimer la présence et les conséquences des défauts résiduels
• La tolérance aux erreurs • Assurer un service conforme à la spécification en dépit des erreurs résiduelles et lors de conditions non nominales • Cas concrets : mise en oeuvre de deux techniques particulièrement représentatives
• L’analyse des effets des erreurs du logiciel
• L’évaluation prévisionnelle de la fiabilité du logici