Download or read book Modelling and implementation of a microscopic traffic simulation system written by Johannes Brügmann and published by Logos Verlag Berlin GmbH. This book was released on 2015-11-16 with total page 242 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.