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 51
- Downloads 0
A Comprehensive Examination of Cloud Computing
Cloud computing is a burgeoning technology that has ushered in a new era by allowing for a logical computational approach. Over a concept that delivers on-demand services online, it has revolutionized the mechanics of IT...
A Study on High Performance Split Radix FFT
A high performance hardware FFT have numerous application in instrumentation and communication systems. It describes new parallel FFT architecture which combines the split-radix algorithm with a constant geometry interco...
Fraud Management System in Detecting Fraud in Cellular Telephone Networks
With fraud perpetrators becoming more sophisticated both in their techniques and the tools they use, fraud is an increasing problem. Telecommunications service providers are currently second only to banks in losing money...
A Critical Review on Improving the Productivity of Microalgae Cultivated in Wastewater for Biofuel Production
Microalgae has been recognized as a possible feedstock for the assembling of biofuels. On account of their natural nonpartisanship and adaptability underway, microalgae have arisen as a potential feasible biomass asset....
A Hybrid Localization Algorithm for Enhanced Accuracy and Robustness in Healthcare Systems
This paper presents a novel hybrid localization algorithm designed for healthcare systems, integrating Received Signal Strength Indicator (RSSI) and Time of Arrival (ToA) measurements with machine learning techniques. Th...