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