Projet : EP-ATR

Précédent : Projets Reutel-Arctica, convention MEN/Inria n°295A5040000MC011 Remonter : Contrats industriels (nationaux, européens et Suivant : Projet Esprit Sacres, convention n°195C4170031307006

   
EdF, convention EDF-Inria n°197C9810031307011 (12/1997-03/1998)

 

Participants : Albert Benveniste, Thierry Gautier, Fernando Jiménez Fraustro, Paul Le Guernic, Sylvain Machard, Éric Rutten.

Mots clés : énergie, programmation synchrone, format commun, DC+, code distribué .

Résumé :

Cette étude se déroule dans le contexte des études menées à EDF concernant l'application des méthodes formelles émergentes pour les systèmes de contrôle-commande des centrales.

Il s'agit de connaître l'adaptation au contexte des architectures de contrôle-commande à EDF des méthodes de distribution de code synchrone autour du format DC+. L'étude comporte une étude synthétique des méthodes de distribution de code synchrone, notamment celles qui ont été développées en lien avec le projet Esprit Sacres [[49]]. Elle comporte aussi une étude sur leur application aux systèmes de contrôle-commande des centrales.