Abstract
VANETs have gained much attention from both industry and academia because of their characteristics, such as dynamic topology. There are various applications of VANETs that are classified on the basis of safety, efficiency, commercial usage, and productive areas. This paper presents an IoT-based formal model for vehicle-life integration enabling RSUs with the help of different approaches. We have developed a model that uses vehicle scenarios in smart transportation systems so that quick data transmission is provided between the source and destination vehicles. Further, fog-based RSUs provide a wide range to communicate with hospitals and emergency vehicles to deal with emergency situations. All the appropriate entities are connected to ensure a consistent traffic flow for the arrival of an emergency vehicle in emergency places. The UML, graph theory, and VDM-SL formal technique are used to represent this system. To model the network and discover appropriate paths for V2V communication, graph theory is applied. The system requirements are designed using a UML diagram. The VDM-SL, an object-oriented model-based formal technique, was utilized for this modeling procedure. This approach assures the safety and accuracy of systems by detecting flaws early in the design process. It also gives an exceptionally important answer to an issue and increases trust in the software’s quality.
Highlights
Vehicular ad hoc networks (VANETs) technology has been a prominent focus of research because of its dynamic topology and high mobility
VANETs applications have captured the attention of academia as well as automobile industries that enable vehicles to connect with the internet to obtain real-time traffic information
Idnesctaisneat1iosncevneahricole‘ai’n, rtehleay node essingle subntaebt eliisthesr lweFfiitrgseuulrebesns3ecstohonorwninesctthioenrasibgobhvetets-wmuebeennetitot.nh(2eed) sIsfoctuehrnecaesriooausn.rdcIendacenasdsteind1aetssitcoiennaatnriioond‘eacs’a,rbrseylacyanrroydieng are on diffepraecnktestesusbtfarnboelmtissh,tethhseewsdioreeuslerticsnseacatoinondnnepvcteaihsosnicisnlebgemtthwueesmetnboethnientsotohutehrcereigdahnetsdtsidunebasnttiieontnait.fioStnhinencoesdoteuhsrecbeydecsatrirnyaintigon itsabinlistFhhiegesulerwfenvti,eo3rahdesnilehced’lossepvnsvwleoaaoihcsccdrcokeieeatcne’hltvisteinneseolaevornfarccsroebaotailisotivm.oinvoienvdnedtsohe-.ilmnesvbteieseiddoftneiw.uetnirdetocie,efinnoeeanddntl,hdysoecncpeleasynrsotacsuaiernirirnoctgaesnit.nhoaIednnnmoedcdsaoewdsnseeiwtst1ohtiitsnhttchhaeteehtniedosaaensrsamiotmnien‘oeaaldalt’a,ineonrsenee.flbflalaySayiggncnsscaoaaersdsrttyehthhieeenesddg-deesesttsiitnnianattaiiootinnon packets from the source and passing them on to the destination
Summary
Vehicular ad hoc networks (VANETs) technology has been a prominent focus of research because of its dynamic topology and high mobility. The information-sharing mechanisms have enabled the applications for transportation efficiency, reduced traffic congestion, and enhanced road safety It provides the convenience of works between vehicles and infrastructure to ensure a comfortable journey [1]. Many people lose their lives every year, and millions of dollars are consumed on medical bills as well as insurance costs due to road accidents. These large amounts of dollars have led to the improvement of a wide range of new transport technologies that can enable a comfortable, safe driving experience as well as offer extra value-added services to both drivers and passengers [2]. VANETs applications have captured the attention of academia as well as automobile industries that enable vehicles to connect with the internet to obtain real-time traffic information
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
