Study of the implementation of ERTMS with respect to French national ― "non on board rules" using a collaborative methodology based on formal methods and simulation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Study of the implementation of ERTMS with respect to French national ― "non on board rules" using a collaborative methodology based on formal methods and simulation

Résumé

L’interopérabilité est un paramètre clef pour la compétitivité des systèmes ferroviaires européens. Elle est la condition à l’ouverture de nouveaux marchés et à la mise à disposition de nouveaux services. Un des points critique et la faculté de délivrer un service performant et sûr, sans avoir recours à des transbordements de passagers ou de matériels. Une des étapes est le respect d’un ensemble de règlements techniques opérationnels qui garantissent que les exigences essentielles sont vérifiées. Le projet Perfect veut contribuer à la validation d’une implantation des spécifications européennes d’interopérabilité sur le sol français. Concrètement, ERTMS " European Rail Traffic Management System ", ne définit que l’environnent technique et opérationnel des matériel à bord des trains. Le comportement des matériels au sol est pour sa part essentiellement régi par les lois nationales. Ce dernier aspect produit une certaine complexité dans l’analyse de sécurité du système global. La proposition principale du projet est d’étudier la consistance des différentes spécifications entre elles en utilisant des outils formels et en choisissant l’angle de la sécurité. Ce problème, critique au regard des enjeux, n’est abordé dans la littérature que de manière très parcellaire.
Fichier non déposé

Dates et versions

hal-00998111 , version 1 (30-05-2014)

Identifiants

  • HAL Id : hal-00998111 , version 1

Citer

Simon Collart-Dutilleul, Philippe Bon, El Miloudi El Koursi, Etienne Lemaire. Study of the implementation of ERTMS with respect to French national ― "non on board rules" using a collaborative methodology based on formal methods and simulation. TRA - Transport Research Arena, Apr 2014, France. 8p. ⟨hal-00998111⟩
61 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More