Prérequis
Aucun.
Public concerné
Responsables Développement logiciel, Responsables Qualité, Chefs de Projets.
21 stagiaires en 2021
Objectif
Appréhender les normes (automobile, nucléaire, ferroviaire, aéronautique…), méthodes et outils utilisés dans le domaine de la sûreté de fonctionnement du logiciel afin de permettre aux participants de mieux identifier et comprendre leurs finalités.
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
PARTIE I – INTRODUCTION À LA SÛRETÉ DE FONCTIONNEMENT DES LOGICIELS
- Bref historique
- Normes applicables des différents domaines (CEI 61508, ISO 26262, EN 50128, DO 178B…)
- Cycle de développement logiciel
PARTIE II – INTÉGRATION DES EXIGENCES DE SÉCURITE TOUT AU LONG DU CYCLE DE DÉVELOPPEMENT
- Spécification
- Architecture
- Conception (Modularité, programmation défensive, COTS…)
- Codage (Règles de codage)
- Tests (Unitaires, intégration, validation)
PARTIE III – MÉTHODES D’ÉVALUATION ET OUTILS
- Méthodes (Analyse statique de code, AEEL, preuve formelle, Revue de test…)
- Outils (Analyse statique de code, tests, modélisation, gestion de configuration…)
Sessions
- Date sur demande, toute l'année
Tarif
- 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