Aucun.

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

21 stagiaires en 2021

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.

Expert en sûreté de fonctionnement.

Présentation PowerPoint projetée et imprimée, étude de cas pratique, exercices, mise en situation, exemple théorique, supports vidéo…

Evaluation en début et fin de formation, quizz…

5 jours ouvrés avant le début de la formation (si financement OPCO)

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

• Date sur demande, toute l'année