Génération de scénarios de tests pour la vérification de systèmes complexes et répartis : Application au système européen de signalisation ferroviaire (ERTMS)
JABRI
Type de document
THESE
Langue
francais
Auteur
JABRI
Résumé / Abstract
Dans les années 90, la commission européenne a sollicité la mise au point d'un système de contrôle commande et de signalisation ferroviaire commun à tous les réseaux des états membres : le système ERTMS « European Railway Traffic Management System ». Il s'agit d'un système réparti complexe dont le déploiement complet est long, coûteux et nécessitant des défis technologiques. L'objectif global est de diminuer les coûts de validation et de certification liés à la mise en oeuvre tout en améliorant la sécurité et l'interopérabilité à travers la reconnaissance mutuelle de composants ERTMS entre états membres. La problématique scientifique réside dans la modélisation formelle de la spécification afin de permettre la génération automatique des scénarios de test. Les verrous scientifiques, traités dans cette thèse, sont liés d'une part à la transformation de modèle semi-formel en modèle formel en préservant les propriétés structurelles et fonctionnelles des constituants réactifs du système réparti, et d'autre part à la couverture des tests générés automatiquement. Les constituants sont sous la forme de boîte noire. Leur comportement est visible à travers les interactions qu'ils ont avec l'extérieur. L'objectif consiste à tester ces constituants à travers la spécification ERTMS. Le test de conformité reste la méthode incontournable pour la validation de constituants réactifs. Nous avons développé une approche de modélisation basée sur le couplage de modèles semi-formels (UML) et de modèles formels (Réseaux de Petri). Ce couplage se fait à travers une technique de transformation de modèles. Nous avons développé ensuite une méthode de génération automatique de scénarios de test à partir des modèles en réseaux de Petri. Les scénarios de test ont été considérés comme une séquence de franchissement filtrée puis réduite du réseau de Petri interprété représentant la spécification. Ces scénarios ont été exécutés sur notre plateforme de simulation ERTMS. Thèse encadrée à l'INRETS par EL KOURSI,M (ESTAS)
