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…
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 – 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
- 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