Simulation interactive du modèle de gestion d'interconnexion de commutateurs à l'aide de LOBSTERS et MODE - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1996

Simulation interactive du modèle de gestion d'interconnexion de commutateurs à l'aide de LOBSTERS et MODE

Résumé

En raison de la complexité croissante des modèles de l'information basés sur l'approche OSI, les concepteurs de catalogues d'objets gérés expriment des besoins de mise en oeuvre de méthodes formelles pour valider les aspects liés au comportement de leurs spécifications. Dans le cadre d'une étude sur l'adéquation des méthodes formelles et outils existants pour la spécification des systèmes aux besoins des modèles de gestion de réseaux OSI, nous étudions plusieurs Techniques de Description Formelles et les outils disponibles. Ce rapport présente l'utilisation du langage LOBSTERS ainsi que les outils MODE et CRUSADE pour la validation par simulation interactive du modèle de gestion de la configuration de l'interconnexion de commutateurs. Cette approche propose une alternative à une étude sur l'utilisation du logiciel MEC que nous avions faite sur le même modèle.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-2790.pdf (445.78 Ko) Télécharger le fichier

Dates et versions

inria-00073900 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00073900 , version 1

Citer

Olivier Festor, Emmanuel Nataf, Laurent Andrey. Simulation interactive du modèle de gestion d'interconnexion de commutateurs à l'aide de LOBSTERS et MODE. [Rapport de recherche] RR-2790, INRIA. 1996, pp.31. ⟨inria-00073900⟩
77 Consultations
78 Téléchargements

Partager

Gmail Facebook X LinkedIn More