Systèmes opérationnels

Système KVB


Une part importante de l’activité de CLEARSY est portée sur la thématique du pôle ferroviaire.

KVB, système de contrôle de vitesse à balise


Client


> CLIENT : Alstom
> DATE : Juin 2009/Février 2010

Contexte


Le KVB est un système développé depuis les années 1990 par Alstom et pour lequel CLEARSY contribue. Le KVB a pour objectif d’enregistrer la vitesse d’un train et de la communiquer à un système installé à bord, qui l’interprète et peut agir en cas de survitesse.

Le KVB a été développé à l’aide de la Méthode Formelle B et fonctionne à l’aide de 2 dispositifs :
> Une “balise sol” posée sur la voie qui mémorise la vitesse d’un train
> Un “système bord” (installé à bord du train) qui reçoit les informations communiquées par la balise au sol.

Ces deux éléments concourent à contrôler la vitesse d’un train et à agir sur elle en fonction du paramétrage du système bord. Ainsi, en cas de survitesse, le système déclenche un freinage d’urgence.

Nos actions


Alstom exploite depuis plus de 20 ans ce système pour leurs trains et a fait appel à CLEARSY cette année afin de les assister pour la réalisation des évolutions du système KVB.

CLEARSY INTERVIENT SUR LES ACTIVITÉS SUIVANTES :
> Mise à jour des modèles B
> Preuve des modèles B
> Mise en œuvre des tests sur machine hôte
> Analyse de la couverture de code