Project Description

Bane NOR, Norvège

Vérification formelle de la sécurité du logiciel des enclenchements

Pour la ligne Nordlandsbanen de Bane NOR, le terminal de fret de Ganddal et la double voie Sandnes-Stavanger, Prover a fourni des services clé en main pour la vérification du logiciel des enclenchements. Les systèmes d’enclenchement ont été fournis par ABB et Prover a réalisé des projets pour le compte de Bane NOR et de son fournisseur ABB. Prover a joué un rôle central dans le développement de la spécification générique des exigences de sécurité pour les systèmes d’enclenchement novégiens. Cette spécification a été mise à jour en coopération avec Bane NOR et ABB, puis a été utilisée dans un certain nombre de projets appliquant un processus en deux étapes pour la vérification de la sécurité du logiciel des enclenchements en utilisant Prover iLock Verifier:

  • La spécification de l’enclenchement est formellement vérifiée pour garantir qu’il satisfait aux exigences de sécurité..
  • Le logiciel de l’enclenchement est formellement vérifié pour s’assurer qu’il met en œuvre la spécification de l’enclenchement.

En utilisant ce processus, les erreurs détectées lors de la vérification formelle peuvent être supprimées plus tôt, ce qui permet d’économiser des ressources de développement et d’améliorer la qualité. Lorsque toutes les erreurs ont été corrigées, des techniques de vérification formelles ont été à nouveau appliquées pour garantir l’exactitude du logiciel final de l’enclenchement mis en service.