Spécifications et analyse d'un pilote automatique embarqué de métro type V.A.L
Résumé
Etude des spécifications fonctionnelles puis opérationnelles du cahier des charges. Représentation du cahier des charges à l'aide du GRAFCET. Conception du modèle fonctionnel du pilote automatique. Analyse quantitative du modèle. Analyse de la sécurité.