Vérification et validation d'architecture fonctionnelle à partir d'un outil de suivi des exigences - Application à un système de signalisation ferroviaire
ZIRAR
Type de document
RAPPORT DE STAGE
Langue
francais
Auteur
ZIRAR
Résumé / Abstract
Le but principal du stage est de déterminer une méthodologie de vérification de la cohérence d'une architecture fonctionnelle d'un système de signalisation ferroviaire et d'en programmer les procédures. Cette architecture fonctionnelle est imposée par le document ERTMS/ETCS Functional Requirement Specification, v4.29, fournie par Union International des Chemins de fer. La vérification de cohérence et la traçabilité des exigences se concentrent sur les flux de données échangées entre les différentes fonctions de l'architecture du système et avec les entités externes du système. Ces vérifications permettront alors de valider en partie des propriétés de complétude, d'utilité et de non-ambiguïté que devraient posséder des spécifications d'un système. Etude Encadrée par LEMAIRE,E - Resp. INRETS-ESTAS).
Editeur
INRETS
