Spécifications et analyse d'un pilote automatique embarqué de métro type V.A.L

Mahrez Azouni (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

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é.

Mots clés: métro; VAL; transports en commun; transports collectifs; cahier des charges; vitesse; automatisme; automatique; anti-collision; sécurité; pilotage; pilote; Petri; stationnement; départ; programmation; application; Lille

Domaines: Modélisation et simulation

Mahrez Azouni. Spécifications et analyse d'un pilote automatique embarqué de métro type V.A.L. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1979. Français. ⟨NNT : ⟩. ⟨tel-00290430⟩