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 49
- Downloads 0
https://ijircst.org/view_abstract.php?title=A-Review-on-Digital-Marketing-and-Its-Applications-&year=2022&vol=10&primary=QVJULTkyOQ==
Digital marketing refers to any marketing campaign that uses an electronic equipment or the net. Organizations uses digital platforms such as search engines, social media, email, or their website to communicate with curr...
Performance Analysis of FSO Link in Monsoon (Rainy) Season in Delhi, India
In this paper, we present a comprehensive survey of attenuation due to rain conditions in the months of monsoon in Delhi region. In this paper I used Marshal and Palmer rain distribution model for four specific months of...
Real Estate Price Prediction
Analysing various fields, associate numbers, events became the need of time and most important step to do anything and hence data science became an important part in every field. Using the concept of data science, the pr...
Fiber Reinforced High Volume Fly Ash Concrete for Rigid Pavement
The most popular man-made construction material in use today is concrete. It is made by combining cementitious ingredients, water, aggregate, and occasionally admixtures, in the proper ratios. Fresh concrete, also referr...
Real Time Prevention of Driver Fatigue Using Deep Learning and MediaPipe
This paper describes the development of a system for detecting driver drowsiness whose goal is to alert drivers of their sleepy state to prevent traffic accidents. It is essential that drowsiness detection in a driving e...