Validation du modèle de gestion d'interconnexion de commutateurs à l'aide de systèmes de transitions étiquetées

Emmanuel Nataf 1 Olivier Festor 1 André Schaff 1
1 RESEDAS - Software Tools for Telecommunications and Distributed Systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Dans le cadre de la construction de modèles d'information pour la gestion de réseaux, la spécification des comportements devient de plus en plus complexe. En particulier, les dépendances entre objets gérés nécessitent une spécification détaillée bien souvent omise dans les catalogues d'objets disponibles à ce jour. Nous présentons dans ce rapport la validation entreprise sur les dépendances comportementales entre objets pour la gestion des interconnexions entre commutateurs. La validation entreprise repose sur une modélisation sous forme de systèmes de transitions étiquetées des interactions entre ces objets ainsi que sur l'utilisation du logiciel {\tt MEC} pour la vérification de propriétés sur cette modélisation.
Type de document :
Rapport
[Rapport de recherche] RR-2769, INRIA. 1996, pp.25
Liste complète des métadonnées

https://hal.inria.fr/inria-00073923
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:05:56
Dernière modification le : lundi 12 février 2018 - 11:52:02
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:14:20

Fichiers

Identifiants

  • HAL Id : inria-00073923, version 1

Collections

Citation

Emmanuel Nataf, Olivier Festor, André Schaff. Validation du modèle de gestion d'interconnexion de commutateurs à l'aide de systèmes de transitions étiquetées. [Rapport de recherche] RR-2769, INRIA. 1996, pp.25. 〈inria-00073923〉

Partager

Métriques

Consultations de la notice

139

Téléchargements de fichiers

75