Formal Modeling and Verification of Smart Traffic Environment with Design Aided by UML

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

A Multiclass Deep Convolutional Neural Network Classifier for Detection of Common Rice Plant Anomalies

This study examines the use of deep convolutional neural network in the classification of rice plants according to health status based on images of its leaves. A three-class classifier was implemented representing normal...

The Design and Evaluation of a User-Centric Information Security Risk Assessment and Response Framework

The risk of sensitive information disclosure and modification through the use of online services has increased considerably and may result in significant damage. As the management and assessment of such risks is a well-k...

Performance Testing, and Evaluation for the Voipv6 Network Related Functions, (Sendto and Receivefrom)

(The network related functions (Sendto, and Receivefrom) in VoIPv6, are needed to obtain the communication socket in both UDP, and TCP before the communication can take place between the sending and receiving ends. The i...

Cost Analysis of Algorithm Based Billboard Manger Based Handover Method in LEO satellite Networks

Now-a-days LEO satellites have an important role in global communication system. They have some advantages like low power requirement and low end-to-end delay, more efficient frequency spectrum utilization between satell...

SIP Signaling Implementations and Performance Enhancement over MANET: A Survey

The implementation of the Session Initiation Protocol (SIP)-based Voice over Internet Protocol (VoIP) and multimedia over MANET is still a challenging issue. Many routing factors affect the performance of SIP signaling a...

Download PDF file
  • EP ID EP397305
  • DOI 10.14569/IJACSA.2016.071222
  • Views 96
  • Downloads 0

How To Cite

Umber Noureen Abbas, Nazir Ahmad Zafar, Farhan Ullah (2016). Formal Modeling and Verification of Smart Traffic Environment with Design Aided by UML. International Journal of Advanced Computer Science & Applications, 7(12), 165-172. https://europub.co.uk/articles/-A-397305