Automatic Generation of Wireless Sensor Networks Scheduling - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Automatic Generation of Wireless Sensor Networks Scheduling

Résumé

In this paper, the Discrete Controller Synthesis (DCS) technique is applied in order to obtain a correct-by- construction automatic distributed scheduling of Wireless Sensor Network (WSN). Our approach starts from an abstract formal model considering that communication between nodes are instantaneous. Then, a refined model is obtained by adding a realistic communication mechanism while preserving the global controlled behavior generated initially by automatic synthesis. This communication mechanism is called a synchronization “barrier“: a software mechanism constraining a set of sensors to wait for each other before making its own local decision and before deactivation. The approach is illustrated by a WSN model with two communicating nodes.
Fichier non déposé

Dates et versions

hal-01598255 , version 1 (29-09-2017)

Identifiants

  • HAL Id : hal-01598255 , version 1

Citer

Anis Mezni, Emil Dumitrescu, Eric Niel, Samir Ben Ahmed. Automatic Generation of Wireless Sensor Networks Scheduling. HPCS, Jul 2016, Genoa, Italy. ⟨hal-01598255⟩
241 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More