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

User-Defined Financial Functions for MS SQL Server

The paper deals with mathematical preparation and subsequent programming of various types of financial functions with using of Transact-SQL in Database Management System MS SQL Server. Financial functions are used to aut...

MVC Frameworks Modernization Approach

The use of web development frameworks has grown significantly, specially the Model-View-Controller (MVC) based frameworks. The ability to immigrate web applications between different frameworks available becomes more and...

Experimental Study on an Efficient Dengue Disease Management System

Dengue has become a serious health hazard in Sri Lanka with the increasing cases and loss of human lives. It is necessary to develop an efficient dengue disease management system which could predict the dengue out breaks...

Load Balancing for Improved Quality of Service in the Cloud

Due to the advancement in technology and the growth of human society, it is necessary to work in an environment that reduces costs, resource-efficient, reduces man power and minimizes the use of space. This led to the em...

Novel Software-Defined Network Approach of Flexible Network Adaptive for VPN MPLS Traffic Engineering

Multi-Protocol Label Switching VPN (MPLS-VPN) is a technology for connecting multiple remote sites across the operator’s private infrastructure. MPLS VPN offers advantages that traditional solutions cannot guarantee, in...

Download PDF file
  • EP ID EP397305
  • DOI 10.14569/IJACSA.2016.071222
  • Views 93
  • 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