Spécification et validation fonctionnelle des automatismes de sécurité
FAYOLLE ; EL KOURSI
Type de document
ARTICLE A COMITE DE LECTURE NON REPERTORIE DANS BDI (ACLN)
Langue
francais
Auteur
FAYOLLE ; EL KOURSI
Résumé / Abstract
LA VALIDATION FONCTIONNELLE DES AUTOMATISMES DE SECURITE DANS LES TRANSPORTS TERRESTRES AUTOMATISES S'APPUIE SUR UNE SPECIFICATION PRECISE ET COHERENTE ET NECESSITE DES OBJECTIFS A ATTEINDRE ET DES CRITERES A RESPECTER. DANS CE CONTEXTE, ON PRESENTE UNE METHODE DE VALIDATION FONCTIONNELLE FONDEE SUR L'UTILISATION D'UN OUTIL DE SPECIFICATION PAR OBJET. LA DESCRIPTION DE L'AUTOMATISME ET DE SON ENVIRONNEMENT PERMET, PAR SIMULATION, LA VALIDATION FONCTINNELLE DE L'AUTOMATISME. LES SCENARIOS DE TEST AYANT SERVI A LA VALIDATION FONCTIONNELLE PEUVEUT ETRE UTILISES POUR TESTER LE PRODUIT FINI.(A)
Source
RTS : Recherche transports sécurité, P3-12 p.
Editeur
Institut National de Recherche sur les Transports et Leur Sécurité - INRETS
