Vérification formelle des programmes automates de la SNCF par Model-Checking

Mohamed Niang (1) , Philippot Alexandre (1) , François Gellot (1) , Raphaël Coupat (1) , Bernard Riera (1) , Sébastien Lefebvre (2)

1 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804
2 IFSTTAR/LEOST - Laboratoire Électronique Ondes et Signaux pour les Transports

Suite à l'ouverture du marché, le Réseau Ferré National (RFN) français doit faire face à la concurrence du transport ferroviaire européen. Afin de garder sa position de leader du marché ferroviaire français, la Société Nationale des Chemins de Fer français (SNCF) cherche à mettre en place des solutions innovantes permettant d'améliorer la sécurité et les conditions de travail de ses chargés d'études lors des travaux d'automatisation. Partant de l'étude théorique d'un projet jusqu'à sa validation sur site, les chargés d'études doivent effectuer un certain nombre de tâches qui s'avèrent souvent être longues, complexes et répétitives, ce qui a pour effet d'augmenter leurs charges de travail. Ce projet de recherche se focalise principalement sur une des tâches les plus importantes, qui est la vérification des programmes automates (aspects fonctionnels et sécuritaires). L'objectif est d'améliorer la méthodologie de vérification des programmes automates en mettant en place un outil qui permettra aux chargés d'études d'effectuer cette tâche de manière efficace et automatique.

Domaines: Automatique / Robotique

Mohamed Niang, Philippot Alexandre, François Gellot, Raphaël Coupat, Bernard Riera, et al.. Vérification formelle des programmes automates de la SNCF par Model-Checking. 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR), Nov 2017, Marseille, France. ⟨hal-03427261⟩