Validation formelle d'un mécanisme de synchronisation pour réseaux sans fil

Résumé : Le développement des réseaux et notamment les réseaux de capteurs incite les industries à considérer pour leurs systèmes de communication des alternatives amenant une réduction des coûts et de la complexité tout en garantissant la fiabilité. Ce papier décrit la validation formelle par réseaux de Petri temporels et model checking d'un nouveau protocole de synchronisation avec qualité de service pour réseau maillé de capteurs sans fil utilisant le standard de communication IEEE 802.15.4/ZigBee. L'utilisation des méthodes formelles dans le cadre des réseaux sans fil est assez récente et les résultats obtenus dans cet article prouvent que ces méthodes sont intéressantes dans ce contexte.
Type de document :
Communication dans un congrès
CFIP'2009, Oct 2009, Strasbourg, France. 2009
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00419457
Contributeur : Olivier Festor <>
Soumis le : mercredi 23 septembre 2009 - 21:15:03
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : mardi 15 juin 2010 - 20:17:26

Fichier

23.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00419457, version 1

Citation

Jackson Francomme, Karen Godary-Dejean, Thierry Val. Validation formelle d'un mécanisme de synchronisation pour réseaux sans fil. CFIP'2009, Oct 2009, Strasbourg, France. 2009. 〈inria-00419457〉

Partager

Métriques

Consultations de la notice

213

Téléchargements de fichiers

575