Skip to Main content Skip to Navigation
Theses

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

Abstract : This thesis deals with the specification, modeling and analysis of real time control-command systems distributed on a fieldbus. Modeling such systems which are characterized by hard real-time constraints is problematic due to the large size and complexity of the resulting models. To cope with this problem, a modeling methodology is proposed; it lies on the concepts of modular structuring, modeling and validation using the stochastic timed Petri nets formal model. Structuring consists of a hierarchical decomposition of the system into elementary functional blocks. Specific structures are proposed for fieldbus communication entities and for real time distributed control systems. Modeling lies on the construction and composition of elementary module models. Principles for module composition are defined. Logical assertion models are also proposed to facilitate the modeling, with Stochastic Timed Petri Nets of behavioral descriptions given in a textual language. Validation is based on partial composition stages using modularity to allow ascending behavioral verifications. This methodology is applied to the FIP fieldbus and to the future power transformer station control system of EDF. The study of FIP fieldbus concerns the analysis of application layer periodical services and mechanisms for real time exchanges. Moreover, qualitative and quantitative analyses are made on the EDF application distributed on FIP fieldbus for the verification of functional properties and temporal constraints.
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00139777
Contributor : Emilie Marchand <>
Submitted on : Tuesday, April 3, 2007 - 3:13:09 PM
Last modification on : Friday, January 10, 2020 - 9:08:08 PM
Long-term archiving on: : Saturday, May 14, 2011 - 3:39:45 AM

Identifiers

  • HAL Id : tel-00139777, version 1

Citation

Nathalie Bergé. 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. Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 1996. Français. ⟨tel-00139777⟩

Share

Metrics

Record views

666

Files downloads

433