Modélisation et validation formelle des règles d'exploitation ferroviaires - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Modélisation et validation formelle des règles d'exploitation ferroviaires

Abstract

Le système européen de surveillance du trafic ferroviaire (en anglais, European Rail Traffic Management System, ERTMS) est un système complexe de contrôle/commande et de signalisation ferroviaire mettant en ½uvre des règles européennes d'exploitation ferroviaires. Cet article propose une étude de cas basée sur deux scénarios extraits de ces règles, un scénario nominal d'autorisation de mouvement et un scénario exceptionnel de franchissement d'un arrêt. En effet, on trouve dans ces scénarios des aspects fonctionnels et de sécurité. Ces aspects nécessitent, d'une part, une modélisation fonctionnelle enrichie par des modèles décrivant la politique de sécurité et les autorisations données aux agents agissant sur le système, et d'autre part, une validation formelle. Pour ce faire, nous avons utilisé la plate-forme B4MSecure, fondée sur l'approche IDM (Ingénierie Dirigée par les Modèles), produisant à partir des modèles UML des spécifications formelles B. L'objectif de ces spécifications résultantes est de valider ces scénarios à l'aide d'outils d'animation et de preuve de spécifications B afin de garantir une analyse rigoureuse de la fonctionnalité et de la politique de sécurité.
Fichier principal
Vignette du fichier
doc00019145.pdf (242.42 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01066380 , version 1 (19-09-2014)

Identifiers

  • HAL Id : hal-01066380 , version 1

Cite

Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Modélisation et validation formelle des règles d'exploitation ferroviaires. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, France. 15p. ⟨hal-01066380⟩
343 View
840 Download

Share

Gmail Facebook Twitter LinkedIn More