978-3-639-50535-1

New Methodology for the Development of Reconfigurable Wireless Sensor

Analyze, Construct, Develop and Verify an RWSN Architecture

Regular price
€71,90
Sale price
€71,90
Regular price
Sold out
Unit price
per 
Shipping calculated at checkout.

Summary:

This project presents new challenges for the development of WSN, assumed to be composed of a set of geographical zones where each one gathers a number of communicating nodes (fixed or mobile) that execute software tasks to control local sensors. The stored energy in sensor nodes is limited and the batteries cannot be easily recharged in the WSN due to the environment nature and the position of nodes. We propose to use the reconfiguration as a solution to control the energy consumption in a WSN. We propose a new methodology named RWiN-Methodology of an RWSN, by using UML, to analyze, construct, develop and verify easily an RWSN architecture. For that, we propose first a meta-model of RWSN that describes the structure and the functionality of the network, and a zone-based architecture where a communication protocol is well-defined to optimize the distributed reconfigurations. To verify the temporal constraints by communicating agents, each one is modeled by a timed automaton in order to verify the related functional and temporal constraints. We propose also an extension of OCL, named reconfigurable OCL (ROCL) in order to optimize the specification and validation of constraints.

Author:

Hanen Grichi

Biographie:

Dr. Hanen Grichi obtained her Engineering degree incomputer science in 2009 from the University ElManar Tunisia, her MS degree in 2011 and her Ph.D. degree in 2017 with the University of Carthage, Tunisia. She is with the LISI-Laboratory, University of Carthage.Her current research interests include RWSN systems, modeling and verification.

Number of Pages:

164

Book language:

English

Published On:

2019-07-11

ISBN:

978-3-639-50535-1

Publishing House:

Éditions universitaires européennes

Keywords:

reconfiguration, {Wireless sensor network, Multi-agent architecture, Meta-modeling and validation, Verification and simulation, Code generation, Resizing, Mobility

Product category:

COMPUTERS / General