Towards a BRS-based Model for IoT Hybrid Fault Tolerance

In an increasingly connected world, the Internet of Things (IoT) has emerged as a framework of technologies and paradigms for the future of the Internet. However, it suffers from failures that can have undesirable consequences or even cause fatal accidents, especially in critical domains. Therefore, Fault Tolerance is a major challenge for assuring IoT systems dependability. In this article, we tackle this problem by proposing a hybrid approach, which consists of a generic microservice architecture baptized H-FaTMA. It enables proactive and reactive fault tolerance by providing detection of things failures as well as continuous and real-time monitoring of their states. In addition, it offers mechanisms to strengthen the reliability of the designed systems. We lean on formal methods to verify the functioning of H-FaTMA. Thus, we adopt Bigraphical Reactive Systems (BRS) to define our formal model that covers the description of architectural elements and simulates fault detection and recovery strategies.