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

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

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

Experts en Sûreté de Fonctionnement.

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)

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

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

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

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

• Date sur demande, toute l'année