Description
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.
À qui s'adresse cette formation ?
Pour qui ?
Développeurs, chefs de projets, responsables de validation confrontés au développement de systèmes critiques faisant appel à une forte composante logicielle.
Prérequis
Les objectifs de la formation
Programme de la 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.
