Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS

Ouail Himrane (1) , Julie Beugin (1) , Mohamed Ghazel (1)

1 COSYS-ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité

Ce papier présente une approche modulaire et paramétrique pour évaluer la sécurité des systèmes avec GNSS dans la signalisation ferroviaire. Le système complexe est décomposé en modules puis modélisé de façon formelle. Ce travail s'inscrit dans le cadre d'une méthode de sécurité générique.

Mots clés: Localisation ferroviaire; GNSS; Sécurité ferroviaire; Méthodes de vérification formelle; Approche orientée modèles; ERTMS

Domaines: Sciences de l'ingénieur [physics]

Ouail Himrane, Julie Beugin, Mohamed Ghazel. Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS. Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France. ⟨hal-03480709⟩