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’articleABSTRACT
Initially, the safety of rail systems was ensured by the mastery of the signaling system. With automated systems such as the French subway, software contributes to safety. The standard CENELEC EN 50128, in its 2001 version defines a context which allows for the mastery of software safety. Since this version, the use of software has been extended to driving-aid systems, traction management, management of sensor parameterization, etc. Furthermore, new issues such as maintenance and deployment had to be taken into consideration.
Auteur(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
KEYWORDS
software for the railway domain | CENELEC EN 50128:2011 | software assessment | software maintenance
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
Maintenance et déploiement4. Réalisation d'une application générique
4.1 Phase de spécification
Comme le montre la figure 25, la phase de spécification dispose en entrée des documents de planification, des exigences système, de l'architecture du système et des exigences de sécurité. Sur cette base la première activité consiste à réaliser la spécification des exigences du logiciel et la seconde à réaliser la spécification des tests d'ensemble du logiciel.
La figure 25 permet d'identifier les phases de vérification (flèche en pointillée). On peut ainsi voir que la production de la spécification des tests d'ensembles du logiciel est une vérification à part entière.
HAUT DE PAGE4.1.1 Spécification des exigences du logiciel
La spécification des exigences du logiciel (SEL) doit en premier décrire la bordure du logiciel. Il est donc nécessaire, à partir des éléments d'architectures système et/ou équipements, d'identifier les interfaces avec le matériel et les logiciels. Un diagramme d'interface du type de la figure 26 permet d'identifier les interfaces avec les logiciels (Ei , Si) et les interfaces avec le matériel (I i).
Après la description des interfaces, il est nécessaire d'identifier les modes de fonctionnement (initialisation, mode normal, mode de repli, etc.) et les transitions entre les modes.
Sur la base des interfaces et des modes de fonctionnement, il est possible d'identifier les exigences du logiciel. Les exigences du logiciel doivent couvrir :
-
les besoins fonctionnels ;
-
les besoins non fonctionnels (sécurité, maintenabilité, etc.) ;
Pour chaque exigence, il faut identifier :
-
le lien (traçabilité) avec les exigences en entrée de la phase ;
-
l'attribut sécurité (oui ou non) ;
-
l'attribut...
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
Réalisation d'une application générique
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
