A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL project - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL project

Résumé

In the railway field, rigorous development processes contribute to implement safe 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 illustrate how formal methods can be advantageously brought into play to promote the development of ETCS Level 3. This work is performed in the context of PERFORMINGRAIL European project.
Fichier non déposé

Dates et versions

hal-03691765 , version 1 (09-06-2022)

Identifiants

  • HAL Id : hal-03691765 , version 1

Citer

Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel. A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL project. RAILWAYS 2022, 5th International Conference on Railway Technology: Research, Development and Maintenance, Aug 2022, Montpellier, France. pp.5P. ⟨hal-03691765⟩
34 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More