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)
type: Dataset
description: European Union set up a European rail traffic management system "ERTMS" to ensure, with high level of safety, train operation on different European networks. As the full deployment of this system is long and expensive, evolutions are necessary and raise other technological challenges. The goal is to determine how to use ERTMS specifications to produce test scenarios. This work presents methods, models and tools dedicated to the generation of test scenarios for the validation of ERTMS components based on functional requirements. The development of ERTMS system requires adequate methods for Modelling and evaluating its behavior. Evaluation and certification of the system can be done by generating test scenarios applying formal methods. The Unified Modelling Language (UML) is a widely accepted Modelling standard in industry. However, it is a semi-formal language and it does not allow verification of system behavior. In this case, formal models like Petri Net can be used. These methods are used in order to formalize ERTMS specification. Tests scenarios are generated on the basis of Petri net models. One scenario is considered like a firing sequence in the reachability graph of the Petri net. Then, test scenarios are applied on ERTMS platform simulator in order to check the components and to give test verdicts. Finally, the approach, developed in this document, has been applied to ERTMS components in order to demonstrate the validation and certification costs reduction and also to minimize the upgrade and retrofit constraints and validation cost
landing page: https://theses.hal.science/tel-00802208
keyword: generation-de-scenarios-de-test
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-aucomputer-science-csautomatic-control-engineering
keyword: interoperabilite-ferroviaire
keyword: modelisation-objet-et-modelisation-formelle
keyword: systeme-ertms
keyword: theses
keyword: transformation-de-modeles
issued: 2026-05-12T07:08:15.380126
modified: 2026-05-12T07:08:15.380134
language: fr
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

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)
type: Distribution
format: HTML
access URL: https://theses.hal.science/tel-00802208
issued: 2026-05-12T07:08:15.411957
modified: 2026-05-12T07:08:15.360216