Prérequis
Connaissance du développement et de la programmation.
Public concerné
Chef de Projet logiciel, Responsable Qualité logiciel, Développeur, Vérificateur, Valideur.
10 stagiaires en 2021
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…
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.
JOUR 1
- Bref historique
- Normes applicables des différents domaines (CEI 61508, ISO 26262, EN 50128, DO178C…)
- Plan Qualité Logiciel
- Cycle de développement et bonnes pratiques
JOUR 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é…)
- Présentation d’un outil d’analyse statique
- Présentation des activités de test
- Vérification du Logiciel (analyse documentaire, traçabilité, lecture croisée, analyse statique…)
JOUR 3
- Tests bas-niveau (tests unitaires, tests d’intégration logiciel/logiciel)
- Tests haut-niveau (tests d’intégration logiciel/matériel, tests de validation)
- 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)
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