IJIRCSTJournal International Journal of Innovative Research in Computer Science and Technology I S Volume 5 Issue 4 Science & Engineering English July - August 2017 N N Y 2019 12 09 Computer Sciences Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications English Y 339 349 Kaoutar Hafdi English Y Abdelaziz Kriouile English N Abderahman Kriouile English N https://doi.org/10.21276/ijircst.2017.5.4.8 Internet of Things (IoT) faces different architectural challenges to meet the large scale application issues, the heterogeneity, and the self-adaptivity. Many IoT applications require a dynamic construction of the system and should ensure a high degree of reliability. To this end, we propose the ReDy architecture [1], which is a reusable solution for reliable and dynamic distributed IoT applications. In this paper we propose a formalization and validation of the ReDy architecture. For this end, we propose a formal model using LNT language [2]. We propose also a suitable algorithm to implement a reliable and dynamic membership management. Then we give a formal validation of this critical part based on formal modeling and model checking techniques [3]. English Internet of Things (IoT), Distributed systems, Formal methods https://ijircst.org/abstract.php?article_id=311