Cet article se penche sur l’évaluation de propriétés de sûreté de fonctionnement de systèmes embarqués ferroviaires capables de se localiser à l’aide de signaux satellitaires. Plusieurs projets de recherche ont déjà montré l’intérêt et la faisabilité d’utiliser les GNSS (Global Navigation Satellite Systems) dans des applications ferroviaires. Pour le moment, les erreurs de position dans ces applications n’ont pas d’impact sur la sécurité. Aujourd’hui, l’emploi des technologies satellitaires est envisagé dans un cadre sécuritaire. En effet, ces technologies peuvent répondre aux besoins d’interopérabilité et de compétitivité des transports ferroviaires, en particulier pour la gestion du trafic. Cependant, l’usage des GNSS en sécurité dans les systèmes de localisation développés requiert l’analyse des attributs FDMS de ces systèmes afin de respecter les normes ferroviaires. Aucune technique d’évaluation n’existe pour l’analyse des signaux utilisés par ces systèmes, notamment les dégradations qu’ils subissent en environnement d’exploitation. Dans cet article, nous proposons une approche fondée sur la simulation d’un modèle en réseau de Petri. Nous appliquons la méthode à différentes données de positions obtenues dans plusieurs environnements ferroviaires types. Les résultats obtenus sont présentés et discutés.