Le véhicule autonome est conçu pour se conduire sans aucune intervention du conducteur. Ce véhicule comprend une nouvelle fonction, appelée fonction AD (pour Autonomous Driving), en charge de la conduite lorsque ceci est autorisé. Cette fonction peut se trouver dans différents états (off, disponible par exemple) qui sont gérés par une sous-fonction nommée supervision. Le principal objet de cette étude est de garantir que la supervision d’une fonction, réalisée par un système automobile embarqué critique du point de vue de la sûreté, respecte les exigences fonctionnelles et de sécurité qui lui sont allouées. Puisque deux aspects différents sont étudiés, la mise en cohérence de l’ensemble de ces exigences, dès le début de la conception, est un défi majeur. Dans cet article, une méthode est proposée pour contribuer à résoudre ce problème. Les exigences traitées sont progressivement consolidées en utilisant des modèles comportementaux formels. Les potentielles ambiguïtés, incohérences ou incomplétudes sont ainsi graduellement traitées. De plus, l’application de la méthode à la conception de la fonction AD souligne son efficacité et son intérêt dans un contexte industriel