Sûreté de fonctionnement des logiciels embarqués (CEI 61508-3)

Cette formation est fondée sur un fort retour d’expérience de mise en œuvre des exigences de la Sûreté de Fonctionnement des logiciels embarqués développés pour des applications critiques. L’apport principal de cette formation réside dans notre capacité à fournir un niveau d’information détaillé sur la compréhension des spécificités de cette norme. Cette formation est ponctuée d’exercices pratiques pour illustrer les sujets abordés.

• INTRODUCTION À LA SDF DES SYSTÈMES E/E/EP
  • Présentation des notions de SDF
  • Lien Système/Matériel/Logiciel
• PRÉSENTATION DE LA NORME CEI 61508-3
• LA PLANIFICATION DES LOGICIELS CRITIQUES
  • Organisation des équipes
  • Le cycle de développement
  • Les phases du développement
  • Documentation à produire
• LA SPÉCIFICATION DU LOGICIEL
  • Présentation de l’attendu normatif
  • Bonnes pratiques
• L’ARCHITECTURE DU LOGICIEL
  • Présentation de l’attendu normatif
  • Bonnes pratiques
  • Problématiques techniques
    • Les architectures redondées
    • Le multi-SIL
    • Protocoles de communication sécuritaires
    • Intégration des COTS
    • Réutilisation des composants précédemment développés
• LA CONCEPTION DU LOGICIEL
  • Présentation de l’attendu normatif
  • Bonnes pratiques
• RÈGLES DE CONCEPTION À PRIVILÉGIER AU NIVEAU ARCHITECTURE,CONCEPTION DÉTAILLÉE ET CODAGE
  • Modularité
  • Programmation défensive
  • COTS…
• RÈGLES DE PROGRAMMATION DU LANGAGE C
  • Fonctions, Instructions, Données
• PRÉSENTATION DES ACTIVITÉS DE TESTS
  • Organisation
  • Couverture structurelle et fonctionnelle des tests
• TESTS BAS-NIVEAU
  • Tests unitaires
  • Tests d’intégration logiciel/logiciel
• TESTS HAUT-NIVEAU
  • Tests d’intégration logiciel/matériel
  • Tests de validation
• VÉRIFICATION DU LOGICIEL
  • Analyse documentaire
  • Traçabilité
  • Lecture croisée
  • Analyse statique
• MÉTHODES SAFETY DES LOGICIELS
  • LCC
  • AEEL (AMDEC du logiciel)
  • Revue de tests…
• OUTILS UTILISÉS
  • Analyse statique de code
  • Tests unitaires et d’intégration
  • Modélisation
  • Gestion de configuration
  • Compilateurs
  • Traçabilité…
• CLASSIFICATION DES COUTS

Cette formation sera réalisée par l’un de nos spécialistes ayant mis en œuvre la norme CEI 61508-3 sur de nombreux projets.

Connaissance du processus de développement.

Chef de projet logiciel, responsable qualité logiciel, développeur, vérificateur, testeur.

Experts en Sûreté de Fonctionnement des logiciels.

Présentation PowerPoint projetée et diffusée, étude de cas pratique, exercices, mise en situation, exemple théorique, supports vidéo…

Evaluation en début et fin de formation, quizz…

5 jours ouvrés avant le début de la formation (si financement OPCO).

Une attestation de formation conforme aux dispositions de l’Article L. 6353-1 alinéa 2 remise au stagiaire.

2023 :

Taux de satisfaction : 94%

Nombre de sessions : 3

Nombre de stagiaires : 20