Formal verification of redundant media extension of Ethernet PowerLink - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Formal verification of redundant media extension of Ethernet PowerLink

Résumé

The use of Ethernet at the field level seems to be the next step after traditional fieldbusses. Even if it was not used to be competitive compared to solutions designed for industrial purpose, Ethernet performances have increased faster. On the other hand, some special features like net- work availability solutions have not improved so much rapidly. Then faster Ethernet based industrial protocols had to specify accurate solutions. The objective of this paper is to validate the medium redundancy management part of the Ethernet PowerLink High Availability extension. For this, aimed application requirements are stated and the protocol with its extension are detailed. In the context of Alstom Power critical appli- cations, the correctness of the solution of redundancymust be proven. Therefore, a model-checking approach is used from a generic modelling in timed finite state automata.
Fichier principal
Vignette du fichier
2007_etfa_SL_SP_BD_JJL_paper.pdf (177.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00362622 , version 1 (19-02-2009)

Identifiants

  • HAL Id : hal-00362622 , version 1

Citer

Steve Limal, Stéphane Potier, Bruno Denis, Jean-Jacques Lesage. Formal verification of redundant media extension of Ethernet PowerLink. 12th IEEE Conference on Emerging Technologies and Factory Automation, Sep 2007, Patras, Greece. pp. 1045-1052. ⟨hal-00362622⟩
94 Consultations
226 Téléchargements

Partager

Gmail Facebook X LinkedIn More