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

Type de document

RAPPORT

Langue

francais

Auteur

ZHENG ; EL KOURSI

Résumé / Abstract

Ce rapport présente l'expérimentation du langage lustre et de son outil logiciel d'environnement SAGA, développe par VERILOG, sur une application critique fournie par les logiciels de sécurité de MAGGALY (Métro Automatique à Grand Gabarit de Lyon). Le but est d'évaluer l'apport de l'outil en matière de spécification et de validation du logiciel