Urbalis Evolution – Métro de Pékin

Urbalis Evolution - Métro de Pékin

Urbalis Evolution - Métro de Pékin

Depuis près de deux ans ClearSy participe aux côtés d’Alstom Transport au développement des logiciels sécuritaires du métro de Pekin (Beijin) qui doit être très prochainement mis en service pour les jeux olympiques de 2008.

Le projet Urbalis Evolution vient renouveler la gamme des produits de signalisation ferroviaire (CBTC) déployés dans le monde entier par Alstom Transport.

Pour ce nouveau projet, les ingénieurs de Clearsy ont assisté Alstom à la rédaction des spécifications associées au logiciel sécuritaire embarqué à bord (Automatic Train Protection).
Les fonctionnalités principales de ce logiciel sont de localiser le train sur la voie et de déclencher un freinage d’urgence quand les conditions de sécurité ne sont plus garanties.

Cette phase de spécifications a permis de re-formaliser toutes les fonctionnalités de ce système à partir des connaissances des équipes Asltom.

A partir de cette spécification les ingénieurs ClearSy ont travaillé en binomes avec les équipes Alstom pour développer le logiciel en appliquant la méthode formelle B; des modèles B formalisant la spécification ont été développés puis raffinés et enfin traduits en Ada.

Une première version complète de ce logiciel entièrement mathématiquement prouvé a été terminée au cours du mois de février.

Les commentaires sont fermés.