Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications
Journal Title: International Journal of Innovative Research in Computer Science and Technology - Year 2017, Vol 5, Issue 4
Abstract
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].
Authors and Affiliations
Kaoutar Hafdi, Abdelaziz Kriouile, Abderahman Kriouile
Keywords
Related Articles
- EP ID EP748321
- DOI 10.21276/ijircst.2017.5.4.8
- Views 46
- Downloads 0
A Comprehensive Study on Digital Signature
For secure and smart transactions over open networks, the Digital Signature Concept is necessary. It is having forms of programs with a view to make certain the integrity of information exchanged or saved and to show the...
A Review Article on the Prediction of Diseases at an Early Stage
Individuals today suffer from a wide range of diseases as a result of their lifestyle choices and the environment in which they live. The objective of forecasting disease at an earlier stage becomes an increasingly vital...
An Identified Kidney Cancer Using Decision Tree and Naïve Bayes Algorithm in Data Mining
Several clients with kidney cancer are able to receive curative treatment because there is nowadays no way to detect the cancer in its initial stages. To decrease the likelihood of kidney tumor cells and the need for tra...
Cloud Storage Architecture: Issues, Challenges and Opportunities
With the advent of new emerging technologies like fog computing, internet of things, blockchain, artificial intelligence etc, information and communication technology is revolutionising our homes, education, health and i...
Congestion Modelling and Level of Service Assessment of Urban Roads in Mixed Traffic Conditions
In urban locations around the world, traffic congestion is a problem. Congestion has increased as a result of inadequate public transportation, stalled development of the road infrastructure, and increased use of private...