Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00043000000000000000" id= "SECTION00043000000000000000">Énergie</a></h2>  <a name="EPATR_domaine_module-11" id= "EPATR_domaine_module-11"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Fernando Jiménez Fraustro, Hervé Marchand, Sophie Pinchinat.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>énergie, méthode formelle, programmation synchrone, automatismes industriels .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Nos activités dans le domaine de l'énergie se sont situées depuis plusieurs années dans le cadre de coopérations avec <small>EDF</small>, prolongées à travers le projet européen Syrf. Elles concernent notamment la vérification et la synthèse de contrÔleurs, mais aussi la simulation de systèmes hybrides.</i> </div> <p>Dans le domaine de la production et de la distribution d'énergie, en particulier électrique, on est en présence de systèmes dont :</p> <ul> <li>La sécurité est un caractère essentiel ; elle concerne divers aspects des systèmes de contrôle : <ul> <li>le service fourni peut avoir des aspects critiques dans la nature de ceux à qui il est destiné (par exemple les hôpitaux),</li> <li>le matériel lui-même est soumis à des conditions de fonctionnement dont le dérèglement peut entraîner des dommages fatals,</li> <li>enfin les techniques utilisées peuvent comporter un risque pour l'environnement dans lequel s'effectue l'activité.</li> </ul>Dans ces conditions, les systèmes qui contrôlent la production et la distribution d'énergie posent des problèmes qui sont du domaine d'application de nos techniques d'analyse et de vérification de comportement. </li> <li>La complexité est grande : <ul> <li>que ce soit dans le cas de réseaux de distribution, constitués de contrôleurs de transformateurs interconnectés,</li> <li>ou bien de contrôleurs de centrale électrique, où les capteurs à prendre en compte et les actionneurs auxquels fournir une commande se comptent par centaines, voire milliers, et où les architectures sur lesquelles le contrôle s'exécute comprennent des réseaux d'automates programmables en parallèle.</li> </ul>La conception et l'analyse de ces systèmes requièrent le support d'outils automatisés pour la construction de modèles et le calcul de mises en oeuvre correctes vis-à-vis de la spécification. Elles doivent exploiter la particularité d'architectures à base d'automates programmables, comme il en est construit par Siemens, avec qui nous coopérons dans le projet européen SafeAir. </li> <li> <p>L'héritage des spécifications de contrôleurs obéit à une culture particulière : les langages de spécification des contrôleurs ont été utilisés pour la conception de systèmes de taille importante, et récrire ces systèmes dans un langage nouveau n'est guère envisageable. Il s'agit de langages à base d'automates communicants, ou d'autres de type <em>blocs-diagrammes</em> et circuits d'opérateurs. Dans un but de meilleure acceptation des méthodes formelles par les utilisateurs, et de réutilisation du fonds des développements antérieurs, il est intéressant de travailler à l'intégration de ces langages aux techniques que nous proposons, sous la forme de leur encodage, et d'une traduction automatique dans un format synchrone.</p> </li> </ul> </body>