Sûreté de fonctionnement et risques logiciels, AMDEC du logiciel et AEEL, 3 jours (réf. SUF)

PROGRAMME DE FORMATION » Concepts et principes de la SdF du logiciel Le champ d'application de la SdF et les enjeux. Définition du risque. Principales caractéristiques. Nature des exigences pour le logiciel. Travaux pratiques Identification des principales exigences de Sûreté de Fonctionnement du logiciel. » Enjeux et problématiques de la SdF du logiciel Construction et terminologie de la SdF du logiciel. Assurance de la SdF. Le Plan de SdF. Les éléments constitutifs. Travaux pratiques Construction de la Sûreté de Fonctionnement du logiciel. » Etude système Sécurité innocuité. Attribution niveau SIL (selon CEI 61508). Notion d'indépendance (selon CEI 61508, ISO 26262). Exigence SdF. Exigence fiabilité. Travaux pratiques Spécification d'une fonction de sécurité selon CEI 61508. » Fiabilité du logiciel Définition. Les déclencheurs et entrants à la fiabilité du logiciel (normes et référentiels). Métrologie. Les différents types de logiciels. Pourquoi et quand évaluer la fiabilité ? Exemples. Fiabilité expérimentale, sa mise en oeuvre. Travaux pratiques Estimation de la fiabilité d'un logiciel. » Sécurité (innocuité) du logiciel Barrière de sécurité. Démarche selon la norme CEI 61508. Démarche selon la norme STD 882E. Travaux pratiques Programme de sécurité (innocuité) selon STD 882E. » AMDEC Théorie de l'AMDEC du logiciel : analyse des modes de défaillance, de leurs effets et de leur criticité. Les analyses phase par phase. L'analyse des mécanismes de défaillance. L'évaluation de la criticité. Les propositions d'actions correctives. La présentation et l'interprétation des résultats. AMDE ou AMDE. Différence avec l'AEEL (Analyse des Effets des Erreurs de Logiciel). Travaux pratiques Réalisation d'une analyse AEEL. » COTS Intégration de composants COTS. COTS pour les systèmes critiques (sécurité innocuité). Exemple d'un processus d'étude de sécurité intégrant un COTS. Dispositifs architecturaux. » Conclusion Les aspects normatifs. Les pratiques industrielles. Les principales limites de la méthode AMDEC.