A step-wise validation approach for a wireless routing protocol - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Research, Development and Application on Electronics, Telecommunications and Information Technology Année : 2007

A step-wise validation approach for a wireless routing protocol

Résumé

In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networks and issues new challenges to treat these constraints. In the network community, the practice is based on simulation models that allow to perform performance measures but no formal methods are used. We propose to promote the use of formal description techniques such as the promela and SDL languages that are both well accepted in the community of communication protocols. Stable communications with a right quality of service need to dispose of a correct underlying routing protocol
Fichier non déposé

Dates et versions

hal-01328077 , version 1 (07-06-2016)

Identifiants

  • HAL Id : hal-01328077 , version 1

Citer

Stephane Maag, Fatiha Zaidi. A step-wise validation approach for a wireless routing protocol. Research, Development and Application on Electronics, Telecommunications and Information Technology, 2007, 1, pp.34 - 40. ⟨hal-01328077⟩
58 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More