Prérequis

Aucun.

Public concerné

Responsables Développement logiciel, Responsables Qualité, Chefs de Projets.

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.

Support pédagogique

Présentation Powerpoint projetée et imprimée.

Formateur

Expert en sûreté de fonctionnement.

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 ()
Je m'inscris
Vous souhaitez avoir plus d’informations ? Contactez-nous !

Tarif

  • Tarif intra : sur devis
  • Online : sur demande

 

INSCRIPTIONS et RENSEIGNEMENTS :

Gwenola BOIREAU :

  • 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

 

Partager la formation