Models & Optimisation and Mathematical Analysis Journal
Volume 3, Numéro 1, Pages 56-64
2015-12-20

Incremental Design Of Nano-sensors Network



Authors : Benahmed Khaldia . Belarbi Mostefa . Hariche Abdelhamid . Benyamina Abou El Hassan .

Abstract

A general approach is to reduce the overall complexity by raising the level of abstraction of the design phase. On the context of this idea, we suggest to apply incremental formal approach in the context of nano-devices network and wireless body network(WBAN).The suggested research approach consists of constructing architectures based onNoC-FPGA(Network-on-Chip-field Programmable Gate Assembly). This research work includes the mapping of this kind of architecture on some special context likeWirelessnano-sensors network.The methodology used the formal method based on validated B-event theories to generate the chosen context.The used theories are NocTheory, wireless network theory,colored graph theory and theVHDL (Very High Speed Integrated Circuit Hardware Description Language) theory.Properties like reliability, fault tolerance will be crossed on the kind wireless nano-sensors network.

Keywords

Nano-sensor network, NoC, Formal methods, B-Event, Theory Concept, FPGA, VHDL, WBAN

Les articles similaires

An Incremental Neural Network For Unsupervised Classification

Hebboul Amel .  Hachouf Fella . 
pages 23-33.

Some Parameters To Improve A Gravity Network Accuracy: Application To The New Reference Base Stations Network Of The North Of Algeria

Idres Mouloud .  Aïfa Tahar . 
pages 79-94.

Management Of A Sewerage Network By Coupling Gis And Hydraulic Modeling: A Case Study Of The Network Of The New University In Tlemcen, Algeria

Abdelbaki C .  Rouissat B .  Charef I .  Hadj Abdelkader A .  Ammari A . 
pages 167-179.

Deformation Analysis Of Gps Auscultation Network Based On Generalized Regression Neural Network (grnn )

Gourine B . 
pages 139-160.

Environmental Governance Of Water And Sanitation Network. Annaba’s Expansion Network Regulatory Case Study

Azzaz Larbi . 
pages 291-298.

Formats de citation