Validation Ouragan

Date de début de projet : Mai 2008
Client : STS (Siemens Transportation System)
Durée : 1 an

Contexte du Projet

Ouragan Siemens Transportation System a développé un logiciel de pilotage automatique embarqué de train. Il s'agit d'un logiciel critique de sécurité. Ses principales fonctionnalités sont :

de localiser le train sur la voie,
de gérer les différent modes de pilotage (manuel ou automatique) du train,
de contrôler la vitesse du train en tout point de la voie,
de respecter les signaux,
de réaliser les manoeuvres necessaires (ex: retournement en quai),
de gérer les différents modes de freinage,
et de gérer la communication avec le sol.

Afin de s'assurer du bon fonctionnement de ce logiciel, STS a chargé ClearSy de son analyse et de sa validation logicielle. Ces actions permettent ainsi de s'assurer du bon fonctionnement de celui-ci et de sa conformité avec la spécification fonctionnelle.

Nos Actions

Dans le cadre de ce projet, ClearSy a participé à l'analyse et à la validation logicielle afin d'éviter tout dysfonctionnement pouvant avoir un impact sur la sécurité des passagers. ClearSy a mené ces actions en se basant sur :

le modèle B du logiciel
le Dossier de Spécification Logicielle

Ce projet a impliqué :

la rédaction d’un document d’analyse de la conception générale formelle du produit logiciel développé selon la méthode formelle B afin de s'assurer de la cohérence et de la complétude du modèle B par rapport aux besoins contenus dans le dossier de spécification.
la rédaction d’un document présentant l'analyse des machines de base et du code associé du même logiciel.
la rédaction d’un document décrivant les cas de tests nécessaires à la validation.
la réalisation de l’activité de test : écriture et simulation de scenarios à l'aide du simulateur d'environnement.
la rédaction d’un document présentant les résultats des tests fonctionnels réalisés pour couvrir les cas de tests précédents dans le but de fournir le bilan de cette activité.