Project Description

Modular Signalling, GB

Réduire les coûts et harmoniser les principes des systèmes d’enclenchement

Dans le cadre de ce projet, Prover Technology a collaboré avec Siemens UK (anciennement Invensys Rail) à la génération et à la vérification du logiciel des enclenchements Westrace Mk II pour la signalisation modulaire de Network Rail, qui visait à réduire le coût par unité de signalisation et à harmoniser les principes utilisés dans les systèmes d’enclenchements.

Les principes de signalisation modulaire ont été définis en collaboration avec Siemens, séparant les spécifications pour la conception, pour la sécurité et pour le test.

La solution résultante, basée sur Prover iLock et sur des principes de signalisation formalisés, a permis de développer rapidement et avec succès des applications spécifiques. Toutes les exigences de sécurité ont pu être prouvées par vérification formelle et tous les tests ont été simulés avec succès. Après avoir généré le code pour Westrace Mk II, tous les scénarios de test de la simulation ont pu être exportés et exécutés avec succès sur le matériel cible. La solution de signalisation modulaire a été démontrée avec succès pour Network Rail dans le cadre de la phase de développement de Network Rail GRIP4.