Connaissance du processus de développement.

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

• Présenter la norme EN 50128 / EN 50657
• 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 deslogiciels

Experts en Sûreté de Fonctionnement.

Présentation PowerPoint projetée et diffusée, étude de caspratique, 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 del’Article L. 6353-1 alinéa 2 remise au stagiaire.

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

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

INTRODUCTION À LA SDF DES SYSTÈMES FERROVIAIRES

• Présentation des notions de SDF
• Lien Système/Matériel/Logiciel

PRÉSENTATION DES NORMES EN 50128 ET EN 50657

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
  • 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

TESTS BAS-NIVEAU

• Tests des composants, tests d’intégration logiciel/logiciel

TESTS HAUT-NIVEAU

• Tests d’intégration logiciel/matériel, tests d’ensemble du logiciel

VÉRIFICATION ET VALIDATION DU LOGICIEL

• Analyse documentaire, traçabilité, lecture croisée, analyse statique…

MÉTHODES DE VALIDATION/EVALUATION DU LOGICIEL

• LCC, AEEL (AMDEC du logiciel), revue de tests…

PRÉSENTATION DES ACTIVITÉS DE TESTS

• Organisation, couverture structurelle et fonctionnelle des tests

OUTILS UTILISÉS

• Analyse statique de code, tests unitaires et d’intégration, modélisation, gestion de configuration, compilateurs, traçabilité…

EXIGENCES SUR LES LOGICIELS CONFIGURÉS PAR DONNÉESD’APPLICATION

CLASSIFICATION DES OUTILS.

Cette formation sera réalisée par l’un de nos spécialistes du domaine ferroviaireayant mis en oeuvre les normes EN 50128 et EN 50657 sur de nombreux projets.

• Du 06/02/2024 au 07/02/2024 (Paris)
• Du 17/09/2024 au 18/09/2024 (Lyon)