Prérequis

Connaissance du développement et de la programmation.

Public concerné

Chef de Projet logiciel, Responsable Qualité logiciel, Développeur, Vérificateur, Valideur.

Objectif

Les principaux objectifs de cette formation sont de :

  • 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

Expert en Sûreté de Fonctionnement.

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 de logiciels embarqués développés pour des applications critiques.

PARTIE 1

  • Introduction à la SDF des systèmes A/E/EP
  • Présentation de la Norme CEI 61508-3
  • La Spécification du Logiciel
    • Les bonnes pratiques de spécification des exigences
  • L’Architecture du Logiciel
    • Les bonnes pratiques de l’architecture du Logiciel
  • La Conception du Logiciel
    • Les bonnes pratiques de la conception du Logiciel

Partie 2

  • 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)
  • Règles de présentation du code pour la qualité (lisibilité, traçabilité…)
  • Mise en œuvre d’une analyse statique

Partie 3

  • Présentation des activités de test et notions (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 d’évaluation (LCC, AEEL, 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 outils

Sessions

  • Du 21/03/2023 au 23/03/2023 (Pessac)
  • Du 14/11/2023 au 16/11/2023 (Toulouse)
Je m'inscris
Vous souhaitez avoir plus d’informations ? Contactez-nous !

Tarif

  • Tarif inter : 2 100€ HT / participant
  • Tarif intra : sur devis
  • Online : sur demande

 

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

 

Partager la formation