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

par Nathalie Bourgougnon

Thèse de doctorat en Informatique industrielle

Sous la direction de Guy Juanole.

Soutenue en 1996

à Toulouse 3 .


  • 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

  • Titre traduit

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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : vii-153 f

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1996TOU30132

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1996-BER
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.