Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

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.
Fichier non déposé

Dates et versions

hal-02998244 , version 1 (10-11-2020)

Identifiants

  • HAL Id : hal-02998244 , version 1

Citer

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. Lambda Mu 22, 22e Congrès de maîtrise des risques et de sûreté de fonctionnement. Les risques au coeur des transitions (e-congrès), Nov 2020, Virtuel, France. pp687-696. ⟨hal-02998244⟩
97 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More