Kamalrulnizam Abu Bakar

Work place: Faculty of Computer Science & Information Systems, Universiti Teknologi Malaysia (UTM), Malaysia

E-mail: knizam@utm.my


Research Interests: Computer Architecture and Organization, Information Security, Network Security, Data Structures and Algorithms


Kamalrulnizam Abu Bakar obtained his PhD degree from Aston University (Birmingham, UK) in 2004. Currently, he is an Associate Professor in Computer Science at Universiti Teknologi Malaysia (Malaysia) and member of the “Pervasive Computing” research group. He involves in several research projects and is the referee for many scientific journals and conferences. His specialization includes mobile and wireless computing, information security and grid computing.

Author Articles
Formal Verification of Congestion Control Algorithm in VANETs

By Mohamad Yusof Darus Kamalrulnizam Abu Bakar

DOI: https://doi.org/10.5815/ijcnis.2013.04.01, Pub. Date: 8 Apr. 2013

A Vehicular Ad-Hoc Networks (VANETs) is the technology that uses moving cars as nodes in a network to create a mobile network. VANETs turn every participating car into a wireless router, allowing cars of each other to connect and create a network with a wide range. VANETs are developed for enhancing the driving safety and comfort of automotive users. The VANETs can provide wide variety of service such as Intelligent Transportation System (ITS) e.g. safety applications. Many of safety applications built in VANETs are required real-time communication with high reliability. One of the main challenges is to avoid degradation of communication channels in dense traffic network. Many of studies suggested that appropriate congestion control algorithms are essential to provide efficient operation of the network. However, most of congestion control algorithms are not really applicable to event-driven safety messages. In this paper we propose congestion control algorithm as solution to prevent congestion in VANETs environment. We propose a complete validation method and analyse the performance of our congestion control algorithms for event-driven safety messages in difference congested scenarios. The effectiveness of the proposed congestion control algorithm is evaluated through the simulation using Veins simulator.

[...] Read more.
Other Articles