Modeling and Evaluating Intelligent Real-Time Route Planning and Carpooling System with Performance Evaluation Process Algebra

摘要

Intelligent traffic systems (ITS), have provided effective solutions to solve many kinds of traffic problems which are becoming increasingly prominent. Wherein, for saving travel costs, reducing harmful emissions and maximizing the utilization of traffic facilities, intelligent real-time route planning and carpooling has become a hot research issue. This paper mainly focuses on the general architecture of intelligent real-time route planning and carpooling. Meanwhile, the research also adopts a formalization language - Performance Evaluation Process Algebra (PEPA) to model the overall architecture and processing of the system. Furthermore, fluid flow approximation is used to do specific performance evaluation of the model. Through setting the specific parameters, it is easy to obtain the maximum utilization, response time and throughput of the system. Therefore, the research in this paper is significant and meaningful to achieve efficient management of all types of transportation resources and make better use of ITS.