Nous poursuivons une collaboration avec EDF (Mazen Samaan, groupe Acsar de la direction des études et recherches) concernant la conception d'automates de contrôle de postes de transformation électrique. Dans ce cadre a été établie une spécification d'un automatisme de poste de transformation. Cette spécification, exprimée en SIGNAL , a fait l'objet d'une démarche de validation [26]. D'autre part, la synthèse de contrôleurs dans le cadre de cette application a nécessité la spécification d'un modèle physique du poste de transformation, lui aussi objet de validation [25]. Ce modèle est maintenant exploité pour la mise au point de méthodes de synthèse de commmandes.