Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS
Résumé
A modular and parametric approach to evaluate the safety of GNSS-basedsystems in railway signallingis presented in this paper.The complex system is broken down into modules that areformally modelled. This work is part ofa generic safety method.
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.