Deux méthodes pour la modélisation et la vérification des propriétés de sécurité des infrastructures ferroviaires.

Résumé Cet article présente et compare deux approches basées sur des modèles pour assurer la fiabilité d'un système ferroviaire dans le contexte de l'ERTMS (European Rail Traffic Management System). Les activités de V&V par rapport aux propriétés de sécurité sont effectuées en simulant les opérations des trains sur des modèles de machines à états des infrastructures ferroviaires. Cet article présente cette approche au moyen d'une étude comparative entre deux outils qui analysent les modèles avec différentes stratégies de vérification. Les outils utilisés sont l'environnement Matlab Simulink et l'outil d'exécution symbolique DIVERSITY du CEA LIST.