Une analyse d'accessibilité pour la vérification des propriétés de sécurité des infrastructures ferroviaires.

Résumé Le travail présenté dans cet article vise à modéliser une infrastructure ferroviaire composée de voies, d'aiguillages et de feux de signalisation afin de vérifier certaines propriétés de sécurité liées à l'exploitation de cette infrastructure. La modélisation sera réalisée à l'aide du formalisme statecharts. L'approche de vérification des propriétés de sécurité sera réalisée en simulant l'exploitation de l'infrastructure. Cette approche est basée sur une analyse d'atteignabilité des états dangereux liés à l'exploitation de l'infrastructure. L'analyse d'atteignabilité des états dangereux permet de détecter un quasi-accident. Enfin, le modèle Statechart est utilisé pour simuler un scénario de quasi-accident entre deux trains.