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)
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...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Ecole Centrale de Lille
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00802208 http://tel.archives-ouvertes.fr/docs/00/80/22/08/PDF/Jabri_Sana_DLE.pdf |