Article précédent
Mise en œuvre de la norme CENELEC EN 50128:2011 - Logiciel pour les transports ferroviairesArticle de référence | Réf : TRP3309 v1
Auteur(s) : Jean-Louis BOULANGER
Date de publication : 10 févr. 2016
Article suivant
Signalisation ferroviaire - Principales fonctionsCet article fait partie de l’offre
Systèmes ferroviaires (47 articles en ce moment)
Cette offre vous donne accès à :
Une base complète et actualisée d'articles validés par des comités scientifiques
Un service Questions aux experts et des outils pratiques
Des Quiz interactifs pour valider la compréhension et ancrer les connaissances
Quitter la lecture facile
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, T1, T2 , T3, ont été introduite :
la classe T1 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 ;
la classe T2 est dédiée aux outils ou un défaut pourrait fausser les résultats de vérification ou de validation. La classe T2 contient les outils de vérification de règles de codage, de mesure des métriques, d’analyse statique de code, de gestion et d’exécution des tests, etc. ;
la classe T3 est dédiée aux outils dont une défaillance pourrait avoir un effet sur l’exécutable final. Cette classe concerne les compilateurs, les générateurs de code, etc.
La section 6.7 de la norme CENELEC 50128:2011 définit pour chaque classe un jeu de recommandations qui permet d’identifier le contenu du dossier de qualification.
Dans le cadre de l’article [TRP 3 304], nous avons traité précisément l’analyse de la qualification des outils (processus et document à produire) comme cela est demandé par la norme CENELEC EN 50128.
HAUT DE PAGE
L’un des points délicats concernant la mise en œuvre des différents outils réside dans la démonstration que l’outil est utilisable pour le niveau de sécurité qui est visé.
Comme le montre la figure 46, pour réaliser la qualification d’un outil, il faut mettre en place une activité de qualification qui peut être basé :
sur un certificat : il existe des certificats pour certains outils comme les compilateurs et les générateurs de code (par exemple le générateur de code C à partir du modèle SCADE...
Vous êtes abonné à cette offre ?
Connectez-vous !
Vous souhaitez découvrir cette offre ?
Cet article est inclus dans l'offre :
SYSTÈMES FERROVIAIRES
(1) - ABRIAL Jr., The B Book - Assigning programs to meanings. - Cambridge University Press, Cambridge, août 1996.
(2) - BOULANGER (J.-L.), SCHÖN (W.) - Logiciel sûr et fiable : retours d’expérience. - Revue Génie Logiciel, n° 79, p. 37 à 40, déc. 2006.
(3) - BOULANGER (J.-L.), SCHÖN (W.) - Assessment of safety railway application. - ESREL (2007).
(4) - BOULANGER (J.-L.) - Expression et validation des propriétés de sécurité logique et physique pour les systèmes informatiques critiques. - Thèse, Université de Technologie de Compiègne (2006).
(5) - Sous la direction de BOULANGER (J.-L.) - Utilisations industrielles des techniques formelles – Interprétation abstraite. - Collection IC2, Hermès (2011).
(6)...
CENELEC http://www.cenelec.eu/Cenelec/Homepage.htm
COFRAC http://www.cofrac.fr
EPSF http://www.securite-ferroviaire.fr/
ERTMS http://www.ertms.com
ISO http://www.iso.org/iso/home.html
MODUrban http://www.modurban.org/
STRMTG http://www.strmtg.equipement.gouv.fr/
UGTMS http://www.ugtms.jrc.cec.eu.int/
CodePeer http://www.adacore.com/codepeer/
Polyspace http://www.mathworks.com/products/polyspace/
Caveat https://ieeexplore.ieee.org/document/1028953
Absint http://www.absint.com/
FRAMAC http://frama-c.com/
ASTREE http://www.astree.ens.fr/
ADA 2012 http://www.ada2012.org/...
DÉTAIL DE L'ABONNEMENT :
TOUS LES ARTICLES DE VOTRE RESSOURCE DOCUMENTAIRE
Accès aux :
Articles et leurs mises à jour
Nouveautés
Archives
Articles interactifs
Formats :
HTML illimité
Versions PDF
Site responsive (mobile)
Info parution :
Toutes les nouveautés de vos ressources documentaires par email
DES ARTICLES INTERACTIFS
Articles enrichis de quiz :
Expérience de lecture améliorée
Quiz attractifs, stimulants et variés
Compréhension et ancrage mémoriel assurés
DES SERVICES ET OUTILS PRATIQUES
Votre site est 100% responsive, compatible PC, mobiles et tablettes.
FORMULES
| Formule monoposte | Autres formules | |
|---|---|---|
| Ressources documentaires | ||
| Consultation HTML des articles | Illimitée | Illimitée |
| Quiz d'entraînement | Illimités | Illimités |
| Téléchargement des versions PDF | 5 / jour | Selon devis |
| Accès aux archives | Oui | Oui |
| Info parution | Oui | Oui |
| Services inclus | ||
| Questions aux experts (1) | 4 / an | Jusqu'à 12 par an |
| Articles Découverte | 5 / an | Jusqu'à 7 par an |
| Dictionnaire technique multilingue | Oui | Oui |
|
(1) Non disponible pour les lycées, les établissements d’enseignement supérieur et autres organismes de formation. |
||
| DEMANDER UN DEVIS | ||
Information
Quiz d'entraînement bientôt disponible
