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

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

 

Partager la formation