Une approche uml pour la modélisation et la vérification des spécifications des systèmes de signalisation ferroviaire.

Résumé Cet article propose une approche basée sur UML pour la modélisation et la vérification des spécifications des systèmes de signalisation ferroviaire. En particulier, nous considérons les spécifications du système européen de gestion du trafic ferroviaire (ERTMS) et du système européen de contrôle des trains (ETCS). Tout d'abord, l'architecture de l'ERTMS/ETCS est décrite. La procédure de validation et de vérification est également introduite. Ensuite, les diagrammes de classes, de séquences et de cas d'utilisation liés aux spécifications techniques de l'ERTMS/ETCS sont présentés. Enfin, une étude de cas issue de la spécification technique de l'ERTMS/ETCS qui représente l'opération "Établir une session de communication" entre l'équipement embarqué de l'ERTMS/ETCS et le RBC (Radio Block Center) pour initier une session de communication est proposée.