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
Formateur
Experts 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 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
- Les phases d’analyse
- 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
- Intégrité de sécurité du matériel
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.
Sessions
- Date sur demande, toute l'année
Tarif
- Tarif intra : sur devis
- Online : sur demande
2022 :
- Taux de satisfaction : 93%
- Nombre de sessions : 1
- Nombre de stagiaires : 11
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