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 34
- Downloads 0
A Review of the Literature on Immersive Virtual Reality in Education: Current State and Future Prospects
That's because the term "Virtual Reality" (VR) was being coined in mid-1950s, it really has evolved in numerous aspects, getting increasingly similar to the natural environment. Virtual reality is classified into two kin...
Plant Disease Detection from Image Using CNN
The increasing threat of plant diseases poses a significant challenge to global food security. Rapid and accurate identification of plant diseases is crucial for effective disease management and prevention. In recent yea...
A Review on the Concept of Deep Learning
Artificial Neural Networks (ANN) has a number of application areas ranging from economic analysis to image processing and recognition. ANN is used by many online stores in the form of recommendation systems to offer suit...
A Review on Causes and Effects of Global Warming
There are many engineer, scientist, and ecologist are expressing grave worries about the global climate change. Fossil fuels are used as a source of energy indefinitely. When carbon dioxide, methane, and nitrogen oxides...
An Efficient Approach for Patterns of Oriented Motion Flow Facial Expression Recognition from Depth Video
Patterns of directed motion flow (POMF) from optical flow data is a novel feature illustration method that we have a tendency to propose in this paper to recognize the correct facial expression from facial video.The POMF...