S'INSCRIRE
Formation Sûreté de fonctionnement et risques logiciels, AMDEC du logiciel et AEEL
- Programme
- Participants / Prérequis
- Intra / sur-mesure
Ce stage vous montrera comment mettre en oeuvre les techniques d'analyse de risque et de fiabilité/disponibilité du logiciel. Il vous permettra de répondre aux principales exigences de sécurité des logiciels et de réaliser par des cas pratiques ces activités.
Objectifs pédagogiques
- Comprendre les principes et la démarche d'analyse de risque et de fiabilité du logiciel
- Appréhender les étapes et les composants d'un dispositif de Sûreté de Fonctionnement du logiciel
- Analyser un programme, afin de vérifier les règles de codage, dans une optique de fiabilité du logiciel
- Réaliser une analyse des Effets des Erreurs de Logiciel (AEEL), en appliquant la démarche phase par phase
Exercice
Méthodes pédagogiques
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 œuvre.
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.
