Prérequis
Connaissance du processus de développement.
Public concerné
Chef de projet logiciel, responsable qualité logiciel, développeur, vérificateur, testeur.
Objectif
- Cerner les exigences normatives pour spécifier, définir l’architecture, contrôler les logiciels sûrs de fonctionnement
- Présenter les bonnes pratiques pour la spécification, architecture et conception des logiciels
- Maîtriser les techniques de tests et de validation des logiciels
Formateur
Experts en Sûreté de Fonctionnement des logiciels.
Modalités pédagogiques
Présentation PowerPoint projetée et imprimée, étude de cas pratique, exercices, mise en situation, exemple théorique, supports vidéo…
Modalités d'évaluation
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.
Délai d'inscription
5 jours ouvrés avant le début de la formation (si financement OPCO).
Programme
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.
Sessions
- Du 20/03/2024 au 21/03/2024 (Pessac)
- Du 11/06/2024 au 12/06/2024 (Paris)
- Du 20/11/2024 au 21/11/2024 (Toulouse)
- Du 03/12/2024 au 04/12/2024 (Aix-en-Provence)
Tarif
- Tarif inter : 1 460€
- Tarif intra : sur devis
- Online : sur demande
2023 :
Taux de satisfaction : 94%
Nombre de sessions : 3
Nombre de stagiaires : 20
INSCRIPTIONS et RENSEIGNEMENTS :
- Email : formation@serma.com
- Tél. : +33 (0)5 57 26 29 92
- Fax : +33 (0)5 57 26 08 98
- Via le formulaire de Contact