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

Description

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

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00290430
2. http://tel.archives-ouvertes.fr/docs/00/29/04/30/PDF/Azouni.Mahrez_1979_these.pdf

Tags

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

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00290430
Date	17 December 1979
Creators	Azouni, Mahrez
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	PhD thesis