Modélisation au moyen des Réseaux de Petri Temporisés Stochastiques d'une application de contrôle-commande de poste de transformation d'énergie électrique répartie sur le réseau de terrain FIP

Modeling with stochastic timed petri nets of a power transformer station control system distributed on the fieldous fip

• Auteur / Autrice : Nathalie Bourgougnon
• Direction : Guy Juanole
• Type : Thèse de doctorat
• Discipline(s) : Informatique industrielle
• Date : Soutenance en 1996
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés contrôlés

Modèles mathématiques

Électricité -- Distribution

Modèles stochastiques d'apprentissage

Petri, Réseaux de

Transformateurs électriques

Résumé

Ce memoire presente des travaux concernant la specification, la modelisation et l'analyse de systemes de controle-commande temps reel repartis sur un reseau de terrain. La problematique de modelisation de tels systemes, qui doivent satisfaire des contraintes temporelles, reside dans la maitrise de la taille et de la complexite des modeles. Pour cela, une methodologie de modelisation est proposee ; elle repose sur les concepts de structuration, de modelisation et de validation modulaires au moyen du modele formel reseaux de petri temporises stochastiques. La structuration consiste en une decomposition hierarchisee en blocs fonctionnels elementaires. Une structure est proposee pour des entites de communication d'un reseau local temps reel, ainsi que pour un systeme temps reel de commande et de surveillance reparties. La modelisation repose sur la construction et la composition de modeles de modules elementaires. Les principes enonces concernent la definition de regles de composition. Des modeles d'assertions logiques sont egalement proposes pour faciliter le passage des descriptions de comportements exprimees en langage naturel a une modelisation en reseaux de petri temporises stochastiques. La validation repose sur des etapes de composition partielle qui utilisent la modularite pour effectuer des verifications ascendantes du comportement. Cette methodologie est appliquee au reseau de terrain fip, ainsi qu'au futur systeme de controle-commande de poste de transformation d'energie electrique d'edf. L'etude du reseau fip porte plus particulierement sur les services et mecanismes periodiques de couche application pour les echanges temps reel. Les analyses qualitatives et quantitatives effectuees sur l'application d'edf, repartie sur le reseau fip portent sur la verification de proprietes fonctionnelles et de contraintes temporelles du systeme