Project Description

Qinghai Tibet, Chine

Simulation automatisée et vérification formelle d’un logiciel d’enclenchement

Dans le cadre d’un projet du Ministère des chemins de fer de la République populaire de Chine, GE Transportation a fourni plus de 20 systèmes d’enclenchement pour le chemin de fer Qinghai-Tibet. Prover Technology s’est associé à ce projet pour spécifier les règles de signalisation qui régissent les principes de test et de sécurité de ces systèmes, mises en œuvre sur les contrôleurs matériels VHLC. GE Transportation a utilisé ces principes de test et de sécurité pour effectuer une simulation automatisée et une vérification formelle du logiciel de l’enclenchement à l’aide de Prover iLock Simulator et de Prover iLock Verifier.

Suite au succès de ce projet, GE Transportation a incorporé la prise en charge de Prover iLock dans l’outil de programmation VHLC ACE, de sorte que le logiciel de verrouillage développé avec Prover iLock puisse être importé dans ACE.