Bibliographie & annexes
Présentation
RÉSUMÉ
Initialement, la sécurité des systèmes ferroviaires reposait sur la maîtrise de la signalisation. Avec des systèmes automatiques comme les métros, les logiciels participent à la maîtrise de la sécurité. La norme CENELEC EN 50128 dans sa version 2001 définit un contexte permettant la maîtrise de la sécurité des logiciels. Depuis cette version, l'utilisation du logiciel s’est étendue à l'ensemble d’autres parties : aide à la conduite, gestion des portes, gestion de la traction, gestion du paramétrage des capteurs, etc. Et il était nécessaire de prendre en compte les problématiques nouvelles telles que la maintenance et le déploiement.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleAuteur(s)
-
Jean-Louis BOULANGER : Évaluateur-certificateur - Certifer (Anzin, France)
INTRODUCTION
Initialement, la sécurité des systèmes ferroviaires reposait sur la maîtrise de la signalisation. Avec des systèmes automatiques comme les métros (voir ligne 14 du métro parisien et/ou le VAL – véhicule automatique léger – de l'aéroport Charles de Gaulle), les logiciels participent à la maîtrise de la sécurité. La norme CENELEC EN 50128 dans sa version 2001 a été rédigée pour définir un contexte permettant la maîtrise de la sécurité des logiciels. Cette version de la norme a profité de la mise en service de plusieurs systèmes à base de logiciel (SACEM, SAET-METEOR, etc.).
Depuis cette version, l'utilisation du logiciel a été généralisée à l'ensemble des parties du domaine ferroviaire (aide à la conduite, gestion des portes, gestion de la traction, gestion du paramétrage des capteurs, etc.) et il était nécessaire de prendre en compte les problématiques nouvelles telles que la maintenance et le déploiement. La maintenance du logiciel ne concerne pas seulement la correction des anomalies mais elle porte aussi sur la maîtrise des évolutions sur un ensemble d'équipements ; ceux-ci pouvant être déployés dans différents systèmes.
La réalisation d'une application logicielle repose sur l'utilisation d'outils complexes qui peuvent avoir un impact sur l'exécutable (générateurs de code, compilateurs, etc.) et/ou sur la vérification (environnement de test, outil de vérification des règles de programmation, etc.). C'est pourquoi il est nécessaire de qualifier les outils utilisés. À noter que cette notion de qualification est une notion qui a été introduite dans l'ensemble des standards qui ont été mis à jour (DO 178 : C, ISO 26262, IEC 61508).
L'expertise technique et scientifique de référence
MOTS-CLÉS
logiciel pour applications ferroviaires CENELEC EN 50128:2011 évaluation logiciel maintenance logiciel
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Systèmes ferroviaires
(56 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Réalisation d'une application générique3. Norme EN 50128
3.1 Présentation
La norme CENELEC EN 50128 s"applique pour des domaines liés à la sécurité ou non – c'est pourquoi la norme EN 50128 introduit le SSIL0 qui est lié aux applications logicielles sans besoin sécuritaire – et exclusivement aux logiciels et à l"interaction de l'application logicielle avec le système dans son ensemble.
Cette norme recommande la mise en place d'un cycle en « V » qui va de la spécification aux tests du logiciel. L'un des points particuliers de la norme CENELEC EN 50128 réside dans la nécessité de démontrer la mise en œuvre de moyen. C'est pourquoi il est dit que c'est une norme de moyen au contraire des normes aéronautiques qui sont des normes d'objectifs.
La norme CENELEC EN 50128 introduit explicitement la notion d'évaluation. Comme nous l'avions montré dans , pour les applications logicielles, l'évaluation logicielle consiste à démontrer que l'application logicielle atteint les objectifs de sécurité (au sens « safety ») qui lui ont été attribués.
HAUT DE PAGE3.2 Gestion du SSIL
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Systèmes ferroviaires
(56 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Norme EN 50128
BIBLIOGRAPHIE
-
(1) - BAUFRETON (Ph.), BLANQUART (J.-P.), BOULANGER (J.-L.), DELSENY (H.), DERRIEN (J.-C.), GASSINO (J.), LADIER (G.), LEDINOT (E.), LEEMAN (M.), QUERE (Ph.), RICQUE (B.) - Comparaison de normes de sécurité-innocuité de plusieurs domaines industriels. - Revue REE, no 2 (2011).
-
(2) - BOULANGER (J.-L.), SCHÖN (W.) - Logiciel sûr et fiable : retours d'expérience. - Revue Génie Logiciel, no 79, p. 37-40, déc. 2006.
-
(3) - BOULANGER (J.-L.), SCHÖN (W.) - Assessment of safety railway application - . ESREL (2007).
-
(4) - GEORGES (J.-P.) - Principes et fonctionnement du système d'aide à la conduite, à l'exploitation et à la maintenance (SACEM). Application à la ligne A du RER. - Revue générale des chemins de fer, no 6, juin 1990.
-
(5) - BOULANGER (J.-L.), GALLARDO (M.) - Processus de validation basée sur la notion de propriété. - LambdaMu 12, 28-30 mars 2000.
-
...
DANS NOS BASES DOCUMENTAIRES
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/
CMMI http://www.sei.cmu-edu/cmmi
HAUT DE PAGE
ERTSS Embedded Real Time Software and System http://www.erts2012.org/
ESREL http://www.esrel2011.com/
LambdaMU http://www.imdr.fr
Qualita...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Systèmes ferroviaires
(56 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
