Architectures de contrôle-commande redondantes à base d'Ethernet Industriel : modélisation et validation par model-checking temporisé
Les travaux présentés dans ce mémoire s'intéressent aux mécanismes de redondance spécifiés par un protocole de réseau de terrain sur Ethernet. L'objectif est de valider la spécification par rapport à des exigences de disponibilité. Le contexte industriel des travaux nous a amenés à : 1) pr...
Main Author: | Limal, Steve |
---|---|
Language: | FRE |
Published: |
École normale supérieure de Cachan - ENS Cachan
2009
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00468531 http://tel.archives-ouvertes.fr/docs/00/46/85/31/PDF/ENCS-2009-142-SLIMAL.pdf |
Similar Items
-
Implantation d'une logique de configuration pour la vérification automatique de configurations d'équipements de réseaux
by: Wenaas, Éric
Published: (2006) -
DIDACTIC AUTOMATED STATION OF COMPLEX KINEMATICS
by: Mariusz Sosnowski, et al.
Published: (2014-03-01) -
Ethernet-Networking Technology: A Surface Review on Current Issues
by: MOHD SHAHRIEEL MOHD ARAS
Published: (2018-10-01) -
Automobile Control Systems : Transition from Controller Area Networks to Ethernets
by: Ekman, Rasmus
Published: (2014) -
Pathfinder–Development of Automated Guided Vehicle for Hospital Logistics
by: Jan Bacik, et al.
Published: (2017-01-01)