Mohamad Yusof Darus

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



Research Interests: Computer Networks, Network Architecture, Network Security


Mohamad Yusof Darus is currently a PhD student in the Department of Computer Systems and Communications of the Faculty of Computer Science and Information Systems at the Universiti Teknologi Malaysia. He obtained M.Sc. Information Technology from Universiti Utara Malaysia (Malaysia) in 2003. He has been involved in lots of academic research since then; presently he is a member of Pervasive Computing Research Group at UTM, while his research interest Vehicular Networks (VANETs). He has published in many national and international learned journals.

Author Articles
Formal Verification of Congestion Control Algorithm in VANETs

By Mohamad Yusof Darus Kamalrulnizam Abu Bakar

DOI:, 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