Skip to Main content Skip to Navigation
Theses

Architectures de contrôle-commande redondantes à base d'Ethernet Industriel‎ : ‎modélisation et validation par model-checking temporisé

Abstract : This work deals with an Ethernet based protocol that specifies redundancy mechanisms. The objective is to check the specification respect to availability properties. The industrial context of this work led us to : 1) give priority to a formal method. Temporal model-checking has been selected. Indeed the protocol must be used in critical industrial control systems. Therefore a thorough verification is necessary. The protocol description depends on many temporal parameters. Consequently, a technique taking time into account has been preferred. 2) put forward a method to instantiate our model. This timed automata based model has been designed to be modular. Thus the modelling of any network architecture is possible without requiring any modelling skills from the engineer. 3) put forward abstractions in order to improve the model-checking time and memory consumption. Checked properties describe the redundancy mechanisms capability to keep communications working event in case of medium or end device failure. In order to illustrate the relevance of our proposals, we apply the method of instantiation to two types of network architecture. Then some experiments are conducted and studied.
Document type :
Theses
Complete list of metadatas

Cited literature [70 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00468531
Contributor : Ens Cachan Bibliothèque <>
Submitted on : Wednesday, March 31, 2010 - 9:48:08 AM
Last modification on : Monday, January 18, 2021 - 11:16:30 AM
Long-term archiving on: : Friday, October 19, 2012 - 11:06:04 AM

Identifiers

  • HAL Id : tel-00468531, version 1

Collections

Citation

Steve Limal. Architectures de contrôle-commande redondantes à base d'Ethernet Industriel‎ : ‎modélisation et validation par model-checking temporisé. Sciences de l'ingénieur [physics]. École normale supérieure de Cachan - ENS Cachan, 2009. Français. ⟨tel-00468531⟩

Share

Metrics

Record views

633

Files downloads

8405