Methodology Framework for Modelling ETCS-L3 Moving Block System - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Methodology Framework for Modelling ETCS-L3 Moving Block System

Résumé

In the railway field, rigorous development processes contribute to implement safe and efficient systems. Railway safety standards recommend the use of formal modelling and verification techniques to guarantee processes' correctness and validate safety requirements. In this paper, we present a methodology framework using formal models to verify moving block systems, which are complex and critical railway signalling systems. This work is performed in the context of the PERFORMINGRAIL European project.
Fichier non déposé

Dates et versions

hal-03690726 , version 1 (08-06-2022)

Identifiants

  • HAL Id : hal-03690726 , version 1

Citer

Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel. Methodology Framework for Modelling ETCS-L3 Moving Block System. TRA 2022, Transport Research Arena, Nov 2022, Lisbon, Portugal. 6p. ⟨hal-03690726⟩
64 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More