> Formations > Technologies numériques > Test et qualité des applications > Référentiels ISTQB, TMMI, ISO > Formation Sûreté de fonctionnement et risques logiciels, AMDEC du logiciel et AEEL > Formations > Technologies numériques > Formation Sûreté de fonctionnement et risques logiciels, AMDEC du logiciel et AEEL

Sûreté de fonctionnement et risques logiciels, AMDEC du logiciel et AEEL

Sûreté de fonctionnement et risques logiciels, AMDEC du logiciel et AEEL

Télécharger au format pdf Partager cette formation par e-mail 2


Ce stage vous montrera comment mettre en œuvre les techniques d'analyse de risque et de fiabilité/disponibilité du logiciel. Par des réalisations concrètes sur des cas pratiques, vous apprendrez à utiliser les principaux référentiels et outils conceptuels du domaine : CEI 61508, ISO 26262, STD 882E, AMDEC, AEEL, COTS.


Inter
Intra
Sur mesure

Cours pratique en présentiel ou en classe à distance

Réf. SUF
Prix : 2090 € H.T.
  3j - 21h
Pauses-café et
déjeuners offerts




Ce stage vous montrera comment mettre en œuvre les techniques d'analyse de risque et de fiabilité/disponibilité du logiciel. Par des réalisations concrètes sur des cas pratiques, vous apprendrez à utiliser les principaux référentiels et outils conceptuels du domaine : CEI 61508, ISO 26262, STD 882E, AMDEC, AEEL, COTS.

Objectifs pédagogiques
À l’issue de la formation, le participant sera en mesure de :
  • 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

Public concerné
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
Connaissance des méthodes et outils de développement informatique. Connaissance des processus de développement des systèmes programmés.
Vérifiez que vous avez les prérequis nécessaires pour profiter pleinement de cette formation en faisant  ce test.

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 œ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.

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.


Modalités pratiques
Exercice
Des cas concrets pour illustrer les concepts de fiabilité du logiciel et d'AEEL.
Méthodes pédagogiques;
Cours et mise en pratique via des exercices et des études de cas. Les exercices proposés sont représentatifs des problématiques rencontrées sur le terrain.

Modalités d'évaluation
Le formateur évalue la progression pédagogique du participant tout au long de la formation au moyen de QCM, mises en situation, travaux pratiques…
Le participant complète également un test de positionnement en amont et en aval pour valider les compétences acquises.

Solutions de financement
Pour trouver la meilleure solution de financement adaptée à votre situation : contactez votre conseiller formation.
Il vous aidera à choisir parmi les solutions suivantes :
  • Le plan de développement des compétences de votre entreprise : rapprochez-vous de votre service RH.
  • Le dispositif FNE-Formation.
  • L’OPCO (opérateurs de compétences) de votre entreprise.
  • Pôle Emploi sous réserve de l’acceptation de votre dossier par votre conseiller Pôle Emploi.
  • Le plan de développement des compétences de votre entreprise : rapprochez-vous de votre service RH.
  • Le dispositif FNE-Formation.
  • L’OPCO (opérateurs de compétences) de votre entreprise.
  • Pôle Emploi sous réserve de l’acceptation de votre dossier par votre conseiller Pôle Emploi.

Avis clients
Les avis clients sont issus des évaluations de fin de formation. La note est calculée à partir de l’ensemble des évaluations datant de moins de 12 mois. Seules celles avec un commentaire textuel sont affichées.
BENOIT R.
15/09/21
5 / 5

Formation qui m’a permis de confirmer les objectifs et la démarche concernant l’élaboration de logiciels safe. Le cours est correspond parfaitement avec mon besoins professionnel et m’a permis de combler mes lacunes ainsi que de m’aider à plannifier mon activité. La formation manque peut-être de pratique/examples mais étant donné la courte période, la protpotion theorie/pratique est bonne. Cette formation requi
SYLVAIN C.
15/09/21
5 / 5

Le contenu de la formation est dense. Le temps passé sur les exercices est selon moi un peu court. Peut-être faudrait-il des exemples plus simples ou plus ciblés ? Néanmoins, j’ai trouvé que le contenu théorique était très bien illustré par le contenu pratique. En marge des exercices, de nombreux exemples pertinents sont fournis par l’animateur au cours de la formation. Le propos est globalement très clair.
GIRISH F.
15/09/21
3 / 5

Satisfaisant. Il serait préférable d’aborder plus en détail les techniques et mesures appliquées aux logiciels sûrs avec des cas concrets. Programme, code, etc.




Horaires
En présentiel, les cours ont lieu de 9h à 12h30 et de 14h à 17h30.
Les participants sont accueillis à partir de 8h45. Les pauses et déjeuners sont offerts.
En classe à distance, la formation démarre à partir de 9h.
Pour les stages pratiques de 4 ou 5 jours, quelle que soit la modalité, les sessions se terminent à 15h30 le dernier jour.

Dates et lieux
Pour vous inscrire, sélectionnez la ville et la date de votre choix.
Du 19 au 21 décembre 2022 *
FR
Classe à distance
Session garantie
S’inscrire
Du 15 au 17 mars 2023
FR
Classe à distance
S’inscrire
Du 22 au 24 mars 2023
FR
Paris La Défense
S’inscrire
Du 3 au 5 mai 2023
FR
Paris La Défense
S’inscrire
Du 10 au 12 mai 2023
FR
Classe à distance
S’inscrire
Du 23 au 25 août 2023
FR
Classe à distance
S’inscrire
Du 30 août au 1 septembre 2023
FR
Paris La Défense
S’inscrire
Du 11 au 13 octobre 2023
FR
Classe à distance
S’inscrire
Du 18 au 20 octobre 2023
FR
Paris La Défense
S’inscrire