One step forward: Linking Wireless Self-Organizing Networks Validation Techniques with Formal Testing approaches

Stephane Maag 1 Aline Carneiro Viana 2 Fatiha Zaïdi 3
2 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
UR1 - Université de Rennes 1, Inria Saclay - Ile de France, INSA - Institut National des Sciences Appliquées, CNRS - Centre National de la Recherche Scientifique : UMR
Abstract : Multi-Hop Wireless Self-Organizing Networks (WSONs) have attracted considerable attention from the network research community; however, the key for their success is the rigorous validation of the properties of the network protocols. In particular, applications of risk or that demand precision require a rigorous and reliable validation of deployed network protocols. That is the reason why many efforts have been performed in order to validate the requirements and the functioning of protocols in such kinds of networks. It can be observed, however, that, even if different communities have carried out intensive research activities on the validation domain, WSONs still raise new issues and challenging constraints to these communities. The goal of this tutorial is to present a comprehensive review of the literature on protocol engineering techniques and to discuss difficulties imposed by the characteristics of WSONs to the protocol engineering community.
Type de document :
Rapport
[Research Report] RR-6817, INRIA. 2009, pp.46
Liste complète des métadonnées

Littérature citée [125 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00359569
Contributeur : Aline Carneiro Viana <>
Soumis le : lundi 9 février 2009 - 11:52:34
Dernière modification le : mercredi 16 mai 2018 - 11:23:20
Document(s) archivé(s) le : mardi 8 juin 2010 - 22:03:36

Fichier

RR-6817.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00359569, version 1

Citation

Stephane Maag, Aline Carneiro Viana, Fatiha Zaïdi. One step forward: Linking Wireless Self-Organizing Networks Validation Techniques with Formal Testing approaches. [Research Report] RR-6817, INRIA. 2009, pp.46. 〈inria-00359569〉

Partager

Métriques

Consultations de la notice

504

Téléchargements de fichiers

467