Formal modelling methodology of French railway interlocking system via HCPN - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Formal modelling methodology of French railway interlocking system via HCPN

Résumé

ERTMS implementation in France =>ERTMS for on board + national trackside). Problem: hard to evaluate the whole system regarding safety requirements. Ordinary method of railway standards comparison => Experienced experts to compare the detail entries of each rule. Weakness: Low-productivity. Solution: Set up formal specifications of ERTMS and local system to assess the safety of an ERTMS solution on a given french system. Railway interlocking system is a crucial link of local system. The methodology of establishing the formal petri net model of French railway interlocking is the main focus of the work.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00998142 , version 1

Citer

Pengfei Sun, Simon Collart-Dutilleul, Philippe Bon. Formal modelling methodology of French railway interlocking system via HCPN. TRA - Transport Research Arena, Apr 2014, France. 1p. ⟨hal-00998142⟩
68 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More