Formal specification and verification of wireless networked self-organized Systems on Chip

Communication in networked systems must be reliable during run time data exchanges. Therefore, their specifications and designs must be clear, understandable and follow specific rules. Indeed, these systems must guard against potential failures in preventing faults and associated errors, failures or allowing a degraded operating modes in order to protect against global system failures while maintaining a minimum of functionality in the case of irreversible failures, thanks to fault tolerant and security mechanisms. Given challenges of verification by simulation of these complex systems have made the huge number of possible states of carrying operation, and to ensure reliability requirements, we propose a formal proof verification as an alternative operation and validation blocks against defects through one proposed self-adaptive fault tolerance paradigm suitable for occurred errors of networked embedded systems. The formalization process based on an incremental and validated correct-by-construction development of the proposed reliability mechanisms are designed and proved in order to ensure accuracy operating required related dependability of communication wireless networked systems.