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

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

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.