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: | |
|---|---|
| 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 |