Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

COMMUNICATION AVEC ACTES NATIONAL (ACTN)

Langue

francais

Auteur

YANG

Résumé / Abstract

Ce travail s'inscrit dans le cadre du projet FerroCOTS dont l'objectif est de développer une méthodologie complète permettant de favoriser l'utilisation des COTS (« Commercial Off The Shelf » ou « composant sur étagère »), dans notre cas des cartes FPGA, pour assurer les fonctions de contrôle-commande ferroviaire embarqué. L'évolution d'une architecture de contrôle-commande à base de relais vers une architecture à base de composants sur étagère nécessite des méthodes de spécification et vérification formelles préalables, qui soient à même de garantir les hauts niveaux de fiabilité requis dans le domaine du contrôle-commande ferroviaire. Dans cet article, nous proposons, tout d'abord, un processus de raffinement des exigences qui transforme des exigences informelles en des exigences formelles. La logique CTL* est choisie comme cadre de la spécification formelle pour notre processus de raffinement. Sur la base de ces spécifications, nous présentons une méthode de test de conformité permettant de générer des scénarios de tests pour la vérification de systèmes. Ces scénarios de tests sont transformés automatiquement en bancs d'essai VHDL afin de simuler des composants VHDL qui constituent les COTS. La méthode de raffinement est illustrée à travers un cas d'étude portant sur « le système d'accès voyageurs » du train NAT.

Editeur

IFSTTAR