Modeling and Verification of Symbolic Distributed Applications through an Intelligent Monitoring Agent


Emerging paradigms for distributed computing, such as the Internet of Things (IoT), Ambient Intelligence, and Smart Cities, all contain Wireless Sensor Networks (WSNs) as an essential component. In these kinds of circumstances, the difficulty of testing, verifying, and monitoring applications in the scenarios for which they were designed ranges from challenging to impossible to even consider. The correctness of a program can only be investigated using existing simulators at the source code level, and only with a limited degree of precision. This article presents a method and a system for modeling and verifying symbolic distributed applications that run on wireless sensor networks (WSNs). This method makes it possible to extend the code of a distributed application at a high level of abstraction, which enables the code to be tested and reprogrammed directly on devices that are already in use on the network. The intelligent architecture that has been proposed makes it possible to execute distributed applications and to verify that the supplied correctness conditions have been met. With some sample applications and quantitative experiments measuring the overhead introduced by the monitoring operations, this paper demonstrates that the proposed approach is both feasible and effective even when networks contain nodes with limited resources.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE : Intelligent Traffic Accident Prediction Model for Internet of Vehicles With Deep Learning Approach ABSTRACT: A high accident risk prediction model is developed for the purpose of analyzing data on traffic accidents
PROJECT TITLE : Deep Reinforcement Learning for Intelligent Transportation Systems A Survey ABSTRACT: The most recent technological advancements have led to an improvement in the standard of transportation. New data-driven
PROJECT TITLE : Cascaded Composite Turbulence and Misalignment: Statistical Characterization and Applications to Reconfigurable Intelligent Surface-Empowered Wireless Systems ABSTRACT: It is anticipated that high-frequency
PROJECT TITLE : An Intelligent Machine Learning Based Routing Scheme for VANET ABSTRACT: Developing Intelligent Transport Systems now includes Vehicular Ad-hoc Networks (VANET), which have become an interesting research topic
PROJECT TITLE : Secure Message Handling in Vehicular Energy Networks using Blockchain and Artificially Intelligent IPFS ABSTRACT: The underlying work addresses the issues that arise during the process of message dissemination

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry