Project Description

Infrabel, Belgique

Formaliser et valider les spécifications du design et de la sécurité

Dans le cadre de ce projet, Prover Technology a fourni des outils et des services pour aider Infrabel à améliorer la qualité des spécifications requises pour l’appel d’offres des systèmes de passage à niveau. Infrabel se préparait à remplacer environ 800 passages à niveau à relais par des contrôleurs informatisés. En raison de la nature critique de la sécurité et de la complexité des spécifications requises pour ces systèmes, Infrabel a décidé de valider les exigences afin de détecter et d’éliminer les erreurs de spécification et les ambiguïtés. L’objectif était de mettre à disposition des fournisseurs des spécifications de meilleure qualité, réduisant ainsi le risque de retard dans la livraison des systèmes. Infrabel a choisi Prover Technology pour effectuer la validation formelle de la spécification des exigences, avec une solution technique basée sur:

  • Exigences de sécurité formalisées dans le langage PiSPEC
  • Exigences de conception formalisées dans le langage PiSPEC
  • La suite Prover iLock, pour la configuration des différents passages à niveau et la vérification de la sécurité de la spécification

Au total, 54 familles de passages à niveau ont été spécifiées (27 avec barrières et 27 sans), soumises à la vérification formelle de quelque 119 exigences de sécurité. Cela a permis de mettre au jour de comportements inattendus dans la spécification des exigences de passage à niveau et de permettre la correction et la mise à jour de la spécification avant le processus d’appel d’offres.