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.
- CLIENT : Alstom
- DATE : Juin 2009/Février 2010
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
Liées à cet référence
