Poster De Conférence Année : 2023

Vérification formelle d'un système de signalisation ferroviaire à base de cantons mobiles

Résumé

Les normes de sécurité ferroviaire recommandent l'utilisation des techniques formelles afin de valider les exigences de sécurité sur les systèmes ferroviaires critiques. Cet article illustre comment les méthodes formelles peuvent être avantageusement mises en œuvre pour déployer l'ERTMS/ETCS niveau 3 qui est un système de contrôle-commande et signalisation ferroviaire basé sur le concept de Canton mobile14ème colloque sur la Modélisation des Systèmes Réactifs (MSR'23). Ce travail est réalisé dans le cadre du projet européen PERFORMINGRAIL.

Fichier principal
Vignette du fichier
Poster MSR.pdf (1.1 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05361842 , version 1 (12-11-2025)

Licence

Identifiants

  • HAL Id : hal-05361842 , version 1

Citer

Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel. Vérification formelle d'un système de signalisation ferroviaire à base de cantons mobiles. 14ème colloque sur la Modélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France. ⟨hal-05361842⟩
52 Consultations
38 Téléchargements

Partager

  • More