Abstract:
IoT, Ambient Intelligence, and Smart Cities depend on Wireless Sensor Networks (WSNs). Testing, verifying, and monitoring applications in their intended scenarios is difficult to impossible in these situations.
Current simulators only check source code correctness with limited accuracy. This paper proposes a system and methodology to model and verify WSN-based symbolic distributed applications.
The method lets you test and reprogram distributed application code directly on deployed network devices. The intelligent architecture executes distributed applications and verifies correctness conditions.
This project demonstrates the feasibility and efficacy of the proposed approach even in networks with resource-constrained nodes using sample applications and quantitative experiments measuring the overhead of monitoring operations.
Keywords : Wireless Sensor Networks, Monitoring, Debugging, Codes, Embedded Systems, Distributed Processing, Fault Diagnosis, Knowledge Engineering, Software Maintenance, Distributed Processing, Telecommunication Computing, Wireless Sensor Networks
Note: Please discuss with our team before submitting this abstract to the college. This Abstract or Synopsis varies based on student project requirements.
Did you like this final year project?
To download this project Code with thesis report and project training... Click Here
