Certification ferroviaire EN 50128, EN 50126, EN-50129
Cours de formation
Il s'agit d'un cours de formation que nous proposons en mode présentiel conjointement entre SILAS et Doymus sur les normes CENELEC EN-50128, EN-50126 et EN-50129. Il peut être combiné avec le service Gap Analysis pour obtenir des informations sur les processus, les méthodes et les outils que nous devons acquérir ou améliorer pour aborder les projets certifiables selon les normes CENELEC.
Le cours est distribué en 3 sessions de 8 heures, combinant une partie théorique enseignée en anglais et une autre partie avec une étude de cas enseignée en espagnol, centrée sur la partie logicielle, où différents outils et exemples d'exigences, de conception, d'analyse statique et de test sont montrés.
Le formateur
Jean Louis Boulanger
Jean Louis Boulanger est titulaire d'un doctorat en informatique et a plus de 20 ans d'expérience dans le développement et la validation d'applications ferroviaires.
Il est un formateur reconnu dans le domaine de la certification ferroviaire et automobile. Il a publié plus d'une dizaine d'ouvrages sur : les méthodes formelles de vérification des logiciels, la sécurité des systèmes informatiques, l'analyse statique des codes.
Il est l'auteur du livre : CENELEC 50128 and IEC 62279 Standards.
Ordre du jour
Structure du CENELEC
Concepts RAMS
Cycle de sécurité :
De la conception au déclassement
Étapes avec objectifs et entrées/sorties
Processus d'attribution de THR et d'événements redoutés au logiciel SIL
Analyse de la sécurité
Documents obligatoires
Cas de sécurité
Produit générique
Application générique
Application spécifique
Présentation d'un cas de sécurité
Gestion de la qualité
Gestion de la sécurité
Preuves techniques de sécurité
Utilisation de produits certifiés
Acceptation croisée
Évaluation et certification
Organisation et rôles
Gestion de la sécurité
Assurance logicielle
Gestion de la qualité
Gestion des compétences
V-Cycle
Vérification et validation
Qualification des outils
Évaluation des logiciels
Composants logiciels
Développement de logiciels génériques
Spécification des exigences
Architecture des logiciels
Conception de logiciels
Test des composants
Tests d'intégration (HW/SW et SW/SW)
Essais généraux de logiciels
Développement de logiciels spécifiques
Spécification des données
Développement des processus
Intégration
Validation
Déploiement
Exemple
Maintenance et déploiement
