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 55
- Downloads 0
Rapid Web Application Development Using Spring Framework: A Case Study
In the agile world, the web application development has to be accurate and economical. One of the best ways to achieve the productivity is by reducing the complexity. The complexity can be reduced by the separation of co...
A Comprehensive Review of Knowledge Distillation- Methods, Applications, and Future Directions
Knowledge distillation is a model compression technique that enhances the performance and efficiency of a smaller model (student model) by transferring knowledge from a larger model (teacher model). This technique utiliz...
Design and Comparative Study of Overhead Tank Subjected to Seismic Forces in Different Zones
Overhead tank are generally classified as Ordinary Moment Resisting Frame (OMRF) and Special Moment Resisting Frame (SMRF) supported response reduction factor. Generally, the Overhead tank consists of structural members...
VANET-OLSR Cooperative Cross-Layer Detection for Black hole Attacks
In this study, we address the issue of detecting hot spot problem targeting Multi Point Relays (MPRs) using Vehicular Ad hoc channels Reactive Routing protocol (VANET-OLSR). To identify network-related threats, a watchdo...
Design of Tri Band and Dual Band Antenna Using Meta Cell
A 15 × 20 × 1.6 mm3 a novel T shape patch Antenna inspired by unit cell is investigated by changing position of meta cell. The proposed antennas have dual band (3.53-5.3GHz) and tri band (3.1-3.2GHz, 4.9-5.56GHz, 6.22-6....