Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS
Résumé
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 principal
LM22_COM_FULL_482883_Ouail_HIMRANE_20200709_305324.pdf (975.94 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|