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

Ce papier presente une approche modulaire et parametrique pour evaluer la securite des systemes avec GNSS dans la signalisation ferroviaire. Le systeme complexe est decompose en modules puis modelise de facon formelle. Ce travail s'inscrit dans le cadre d'une methode de securite generique.