Modelling And Implementation Of A Microscopic Traffic Simulation System

Modelling and implementation of a microscopic traffic simulation system

This thesis presents the foundations, the initial state, and the progress made in modelling and implementing a real-world and real-time online microscopic traffic simulation system for highway traffic. To successfully model and implement such a simulation system, this thesis recommends the use of a number of formal methods applied at the right places. As part of the recommendation, this thesis proposes a microscopic traffic simulation system. To explore the feasibility and the potential of the recommended methods, it observes and examines the proposed system from multiple views and under various different aspects. As part of the examination, this thesis provides a (semi-)formal specification, a model implementation, an implementation of a productive system, and the benefits that result from validating such a system. The results and any proper application of them have the potential to increase the reliability and the trustworthiness for any future implementation of the proposed simulation system. The presented results additionally motivate to apply the proposed approach to similar simulation systems. The thesis concludes the presentation of the results with some considerations for future implementations.

Modelling and Implementation of a Microscopic Traffic Simulation System

Fundamentals of Traffic Simulation

The increasing power of computer technologies, the evolution of software en- neering and the advent of the intelligent transport systems has prompted traf c simulation to become one of the most used approaches for traf c analysis in s- port of the design and evaluation of traf c systems. The ability of traf c simulation to emulate the time variability of traf c phenomena makes it a unique tool for capturing the complexity of traf c systems. In recent years, traf c simulation – and namely microscopic traf c simulation – has moved from the academic to the professional world. A wide variety of traf- c simulation software is currently available on the market and it is utilized by thousands of users, consultants, researchers and public agencies. Microscopic traf c simulation based on the emulation of traf c ows from the dynamics of individual vehicles is becoming one the most attractive approaches. However, traf c simulation still lacks a uni ed treatment. Dozens of papers on theory and applications are published in scienti c journals every year. A search of simulation-related papers and workshops through the proceedings of the last annual TRB meetings would support this assertion, as would a review of the minutes from speci cally dedicated meetings such as the International Symposiums on Traf c Simulation (Yokohama, 2002; Lausanne, 2006; Brisbane, 2008) or the International Workshops on Traf c Modeling and Simulation (Tucson, 2001; Barcelona, 2003; Sedona, 2005; Graz 2008). Yet, the only comprehensive treatment of the subject to be found so far is in the user’s manuals of various software products.