Project Description

Canadian Pacific

Améliorer la capacité et la cohérence dans la conception et les tests des logiciels d’enclenchement

Chemin de fer de fret, de classe I, Canadien Pacifique (CP) augmente la capacité et la cohérence de la conception et du test de ces logiciels d’enclenchement à l’aide d’outils d’automatisation. En 2010, CP a introduit la génération automatisée de cahiers d’essais pour les tests de vérification en usine (FAT) et pour les essais de mise en service, afin d’en améliorer la qualité et la cohérence.

Aujourd’hui, CP utilise la suite d’outils complète Prover iLock pour la génération et la vérification des logiciels d’enclenchement, comprenant un ensemble standard de principes de signalisation. Les principes de signalisation sont la variante des principes AREMA de CP, prenant en charge les circuits de voie avec partage de codes, différents types de localisation et les plates-formes matérielles imbriquées utilisées par CP.

Cela donne à CP et à ses fournisseurs de services d’ingénierie une solution prête à l’emploi pour la génération et la vérification de logiciels d’enclenchement. La vérification comprend une vérification de sécurité formelle avec Prover iLock Verifier et des tests fonctionnels avec Prover iLock Simulator. Les cahiers d’essais pour les tests de vérification en usine (FAT) et pour les essais de mise en service sont générés à l’aide de Prover iLock Documenter.