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.
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |