Incremental Design Of Nano-sensors Network

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.