Formal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL

Internet of things (IoT) is playing a major role in smart cities to make a digital environment. Traffic congestion is a serious road issue because of an increasing number of vehicles in urban areas. Some crucial traffic problems include accidents and traffic jams that cause waste of fuel, health dis...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Afifa Nawaz, Nazir Ahmad Zafar, Eman H. Alkhammash
Formato:	article
Lenguaje:	EN
Publicado:	MDPI AG 2021
Materias:	responsive time traffic signals shortest paths VDM-SL toolbox formal methods Environmental effects of industries and plants TD194-195 Renewable energy sources TJ807-830 Environmental sciences GE1-350
Acceso en línea:	https://doaj.org/article/0b6593ca30d14346a59566ca2b96aac4
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai:doaj.org-article:0b6593ca30d14346a59566ca2b96aac4
record_format	dspace
spelling	oai:doaj.org-article:0b6593ca30d14346a59566ca2b96aac42021-11-11T19:29:26ZFormal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL10.3390/su1321117722071-1050https://doaj.org/article/0b6593ca30d14346a59566ca2b96aac42021-10-01T00:00:00Zhttps://www.mdpi.com/2071-1050/13/21/11772https://doaj.org/toc/2071-1050Internet of things (IoT) is playing a major role in smart cities to make a digital environment. Traffic congestion is a serious road issue because of an increasing number of vehicles in urban areas. Some crucial traffic problems include accidents and traffic jams that cause waste of fuel, health diseases, and a waste of time. Present traffic signaling systems are not efficient in resolving congestion problems because of the lack of traffic signals. Nowadays, traffic signaling systems are modeled with fixed time intervals in which no proper mechanism for emergency vehicles is available. Such traffic mechanisms failed to deal with traffic problems effectively. The major objective is to establish a robust traffic monitoring and signaling system that improves signal efficiency by providing a responsive scheme; appropriate routes; a mechanism for emergency vehicles and pedestrians in real-time using Vienna Development Method Specification Language (VDM-SL) formal method and graph theory. A formal model is constructed by considering objects, such as wireless sensors and cameras that are used for collecting information. Graph theory is used to represent the network and find appropriate routes. Unified Modeling Language is used to design the system requirements. The graph-based framework is converted into a formal model by using VDM-SL. The model has been validated and analyzed using many facilities available in the VDM-SL toolbox.Afifa NawazNazir Ahmad ZafarEman H. AlkhammashMDPI AGarticleresponsive timetraffic signalsshortest pathsVDM-SL toolboxformal methodsEnvironmental effects of industries and plantsTD194-195Renewable energy sourcesTJ807-830Environmental sciencesGE1-350ENSustainability, Vol 13, Iss 11772, p 11772 (2021)
institution	DOAJ
collection	DOAJ
language	EN
topic	responsive time traffic signals shortest paths VDM-SL toolbox formal methods Environmental effects of industries and plants TD194-195 Renewable energy sources TJ807-830 Environmental sciences GE1-350
spellingShingle	responsive time traffic signals shortest paths VDM-SL toolbox formal methods Environmental effects of industries and plants TD194-195 Renewable energy sources TJ807-830 Environmental sciences GE1-350 Afifa Nawaz Nazir Ahmad Zafar Eman H. Alkhammash Formal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL
description	Internet of things (IoT) is playing a major role in smart cities to make a digital environment. Traffic congestion is a serious road issue because of an increasing number of vehicles in urban areas. Some crucial traffic problems include accidents and traffic jams that cause waste of fuel, health diseases, and a waste of time. Present traffic signaling systems are not efficient in resolving congestion problems because of the lack of traffic signals. Nowadays, traffic signaling systems are modeled with fixed time intervals in which no proper mechanism for emergency vehicles is available. Such traffic mechanisms failed to deal with traffic problems effectively. The major objective is to establish a robust traffic monitoring and signaling system that improves signal efficiency by providing a responsive scheme; appropriate routes; a mechanism for emergency vehicles and pedestrians in real-time using Vienna Development Method Specification Language (VDM-SL) formal method and graph theory. A formal model is constructed by considering objects, such as wireless sensors and cameras that are used for collecting information. Graph theory is used to represent the network and find appropriate routes. Unified Modeling Language is used to design the system requirements. The graph-based framework is converted into a formal model by using VDM-SL. The model has been validated and analyzed using many facilities available in the VDM-SL toolbox.
format	article
author	Afifa Nawaz Nazir Ahmad Zafar Eman H. Alkhammash
author_facet	Afifa Nawaz Nazir Ahmad Zafar Eman H. Alkhammash
author_sort	Afifa Nawaz
title	Formal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL
title_short	Formal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL
title_full	Formal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL
title_fullStr	Formal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL
title_full_unstemmed	Formal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL
title_sort	formal modeling of responsive traffic signaling system using graph theory and vdm-sl
publisher	MDPI AG
publishDate	2021
url	https://doaj.org/article/0b6593ca30d14346a59566ca2b96aac4
work_keys_str_mv	AT afifanawaz formalmodelingofresponsivetrafficsignalingsystemusinggraphtheoryandvdmsl AT nazirahmadzafar formalmodelingofresponsivetrafficsignalingsystemusinggraphtheoryandvdmsl AT emanhalkhammash formalmodelingofresponsivetrafficsignalingsystemusinggraphtheoryandvdmsl
_version_	1718431509747073024

Formal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL

Ejemplares similares