Formal test and simulation environment of wireless body network

Abstract

The general approach of this paper is to reduce the overall complexity in the context of nano-devices network and wireless body network (WBAN) based on NoC-FPGA (Network-on-Chip - field Programmable Gate Assembly) by applying an incremental formal approach. This research work treats a methodology that invokes the formal method based on validated Event-B theories: NoC Theory, wireless network theory, coloured graph theory and the VHDL theory (Very High Speed Integrated Circuit Hardware Description Language) and probabilistic properties to generate correctly the well-chosen context in terms of reliability, fault tolerance and more specifically to take this work as a very important validation criteria for our general approach.