Prérequis

Connaissance du développement et de la programmation (pour le module 2).

Public concerné

Chef de Projet, Responsable Qualité, Concepteur, 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 HW/SW et contrôler les systèmes et logiciels sûrs de fonctionnement
  • Présenter les bonnes pratiques pour la spécification, architecture et conception des systèmes, matériels et logiciels
  • Maîtriser les techniques de tests et de validation des systèmes, matériels et logiciels

Support pédagogique

Présentation Powerpoint en français imprimée.

Formateur

Experts en Sûreté de Fonctionnement.

Programme

Cette formation est fondée sur un fort retour d’expérience de mise en oeuvre des exigences de la Sûreté de Fonctionnement des systèmes et 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.

 

MODULE 1 – Jour 1

  • Introduction à la Sécurité fonctionnelle
  • Présentation générale de la norme CEI 61508
  • Exigences techniques CEI 61508-1
  • Les phases d’analyse
    • Concept et définition globale du domaine d’application
    • Analyse des dangers et des risques
    • Exigences globales de sécurité
    • Allocation des exigences globales de sécurité (architecture HW/SW)
  • Les phases d’opération
  • Les phases de réalisation
  • Autres exigences CEI 61508-1

 

 MODULE 1 – Jour 2

  • Exigences techniques CEI 61508-2
  • Intégrité de sécurité du matériel
    • Contraintes architecturales relatives à l’intégrité de sécurité
    • Quantification des défaillances aléatoires du matériel
  • Défaillances systématiques
    • Évitement et maîtrise des défaillances systématiques
    • Capabilité systématique
    • Preuve que le matériel est validé en utilisation (« Proven in Use »)
  • Comportement du système lors de la détection d’un défaut

 

  MODULE 2 – Jour 1

  • Présentation de la norme CEI 61508-3
  • Processus de développement (PAQL)
  • Spécification du Logiciel (bonnes pratiques)
  • Architecture du logiciel (bonnes pratiques, techniques de détection et de protection des défauts)
  • Conception du logiciel (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)
  • Règles de présentation du code pour la qualité (lisibilité, traçabilité…)
  • Présentation d’un outil d’analyse statique

 

MODULE 2 – Jour 2

  • Présentation des activités de test (organisation, couverture structurelle et fonctionnelle des tests)
  • Vérification du Logiciel (analyse documentaire, traçabilité, lecture croisée, analyse statique…)
  • Tests bas-niveau (tests unitaires, tests d’intégration logiciel/logiciel)
  • Tests haut-niveau (tests d’intégration logiciel/matériel, tests de validation)
  • Analyse de sécurité du logiciel (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

Cette formation est ponctuée d’exemples et d’exercices.

 

 

 

Sessions

  • Du 22/01/2021 au 31/12/2021 ()
Je m'inscris
Vous souhaitez avoir plus d’informations ? Contactez-nous !

Tarif

  • Tarif intra : sur devis
  • Online : sur demande

 

INSCRIPTIONS et RENSEIGNEMENTS :

Gwenola BOIREAU :

  • 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