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 imprimée, étude de cas pratique, exercices, mise en situation, exemple théorique, supports vidéo…

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

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

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

2023 :

Taux de satisfaction : 94%

Nombre de sessions : 3

Nombre de stagiaires : 20