Qualification
Méthodes formelles : application au domaine ferroviaire

Ajouter à la bibliothèque

TRP3309 V1 Article de référence

Qualification
Méthodes formelles : application au domaine ferroviaire

Auteur(s) : Jean-Louis BOULANGER

Date de publication : 10 février 2016 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

7. Qualification

7.1 Besoins

Dans sa version 2001, la norme CENELEC EN 50128 introduisait une demande de qualification des compilateurs, sans vraiment indiquer ce qui était attendu.

La version 2011 de la norme CENELEC EN 50128 introduit formellement le besoin de qualifier les outils (voir § 6.7 de la norme). Comme pour l’IEC 61508 et l’ISO 26262, trois classes d’outils, T 1 , T 2   , T 3 , ont été introduite :

  • la classe T 1 est dédiée aux outils qui n’ont pas d’impact sur la vérification et qui n’ont pas d’impact sur l’exécutable final ;...

Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Article inclus dans l'offre

"Systèmes ferroviaires"

( 62 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Référentiels normatifs - Processus d’ingénierie informatique

Le traitement automatisé de l’information (informatique) s’appuie sur deux concepts de base : le mat...

Dynamique ferroviaire et contact roue-rail - Simulations et essais pour l’évaluation du comportement dynamique de marche

Cet article présente les principales activités d’évaluation des performances de la dynamique ferroviaire ...

Tous les livres blancs
Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous