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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/inria-00419457
Contributor : Olivier Festor <>
Submitted on : Wednesday, September 23, 2009 - 9:15:03 PM
Last modification on : Thursday, February 14, 2019 - 8:44:01 AM
Long-term archiving on: Tuesday, June 15, 2010 - 8:17:26 PM

File

23.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00419457⟩

Share

Metrics

Record views

251

Files downloads

624