Précédent : TNI Remonter : Actions industrielles Suivant : France Télécom - Cnet

EDF

Participants : Michel Le Borgne, Paul Le Guernic, Hervé Marchand, Patricia Bournai, Éric Rutten

Nous poursuivons, dans le cadre d'une convention Inria-EDF, une collaboration avec EDF entamée en décembre 1993 (Mazen Samaan, de la direction des études et recherches, Département Contrôle Commande des Centrales) 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 [9]. 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. Cette étude a donné lieu à un document de synthèse [16] concernant la méthodologie de conception de systèmes réels. Nos efforts portent maintenant sur la modélisation des perturbations dans le poste de transformation électrique. À cet effet le modèle des disjoncteurs a été enrichi de manière à y intégrer un caractère qualitatif et comprend maintenant un modèle de pannes.

Ce travail de modélisation pose naturellement le problème de la validation des modèles. En dehors de l'aspect vérification, cet aspect de l'utilisation des méthodes formelles n'est pratiquement pas abordé dans la littérature. Nous espérons pouvoir tirer quelques enseignements de l'expérience et dégager une ébauche de méthodologie de validation des modèles discrets.

Parallèlement, une convention de six mois débutée en août 1996 porte plus spécialement sur un démonstrateur de synthèse de systèmes d'automatismes décrits en SIGNAL.