Formal Modeling and Verification of Smart Traffic Environment with Design Aided by UML
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2016, Vol 7, Issue 12
Abstract
Issue challan in response to rules violation, LED (Light Emitting Diode) and Bridge components of this proposed Smart Traffic Monitoring and Guidance System are presented in this paper to monitor violation of rules, update users about traffic congestion through LED and to provide central hub to communicate with sensors to update server about the traffic situation. It involves the Wireless Sensors and actors to communicate with the system. The proposed components require fewer resources in terms of sensors and actors. Further sensors identify violation of rules through issue challan. Secondly, LED component provides information to users about the traffic situations. Thirdly, Bridge component is used to provide central hub to communicate with different components in the proposed model and to update the server. The proposed components of this model are implemented by developing formal specification using VDM-SL. VDM-SL is a formal specification language used for analysis of complex systems. The developed specification is validated, verified and analyzed using VDM-SL Toolbox.
Authors and Affiliations
Umber Noureen Abbas, Nazir Ahmad Zafar, Farhan Ullah
Keywords
Related Articles
- EP ID EP397305
- DOI 10.14569/IJACSA.2016.071222
- Views 91
- Downloads 0
A Survey On Interactivity in Topic Models
Trying to make sense and gain deeper insight from large sets of data is becoming a task very central to computer science in general. Topic models, capable of uncovering the semantic themes pervading through large collect...
Design of a Cloud Learning System Based on Multi-Agents Approach
Cloud Computing can provide many benefits for university. It is a new paradigm of IT, which provides all resources such as software (SaaS), platform (PaaS) and infrastructure (IaaS) as a service over the Internet. In clo...
Query Expansion based on Explicit-Relevant Feedback and Synonyms for English Quran Translation Information Retrieval
Search engines are commonly present as information retrieval applications that help to retrieve relevant information from different domain areas. The crucial part of improving the quality of search engine is based on que...
TERRAIN COVERAGE ANT ALGORITHMS: THE RANDOM KICK EFFECT
In this work the effect of random repositioning of ant robots/agents on the performance of terrain coverage algorithms is investigated. A number of well-known terrain coverage algorithms are implemented and studied in a...
Robust Convolutional Neural Networks for Image Recognition
Recently image recognition becomes vital task using several methods. One of the most interesting used methods is using Convolutional Neural Network (CNN). It is widely used for this purpose. However, since there are some...