Skip to Main content Skip to Navigation

Ordonnancement des réseaux de capteurs sans fil embarqués

Abstract : Wireless Sensor networks are attracted many activities of research and development during the last decade. Yet, the distributed behavior of a WSN remains centered on two main objectives: sensing and routing. This thesis advocates the introduction of an additional feature, which can be considered interesting from a functional point of view and potentially from the power consumption one: starting from a designer-specified requirement, implement a multiple level synergy between (groups of) nodes, based on adequate interaction. This is achieved by automatic generation and distribution of correct-by-construction code, relying on the Supervisory Control Theory. The Discrete Controller Synthesis (DCS) technique is an application of this theoretic framework. In this thesis, we show how DCS can be used for WSN. Thus, its potential is at two levels. The intra-cluster scheduling of a redundant group of sensors with specifications expressing the mutual exclusion during the activation of a sensor within a cluster, essential to save the energy within the network and then a multicriteria automatic generation of an optimal routing functionality. Specifically, an optimal path should have both a minimal length and go through nodes having maximal residual energy. The cited formal tools lean on a modelling approach based on communicating finite state machines (CFSM). The scientific challenges are generally related to the nature of the WSN as well as to its size. The DCS can only generates a monoblock controllers, while the WSN’s behavior is essentially distributed. The issue is how to distribute a global controller, who appears in the form of a logical constraint expressed on the global state of the network, into local controllers while adding the necessary synchronization to guarantee a distributed functioning equivalent to the initially generated controller.
Document type :
Complete list of metadata

Cited literature [229 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Thursday, July 16, 2020 - 12:05:08 PM
Last modification on : Monday, September 13, 2021 - 2:44:03 PM
Long-term archiving on: : Monday, November 30, 2020 - 11:09:14 PM


Version validated by the jury (STAR)


  • HAL Id : tel-02900641, version 1


Anis Mezni. Ordonnancement des réseaux de capteurs sans fil embarqués. Automatique / Robotique. Université de Lyon; Université de Tunis El Manar, 2019. Français. ⟨NNT : 2019LYSEI030⟩. ⟨tel-02900641⟩



Record views


Files downloads