Modelling and implementation of a microscopic traffic simulation system
Johannes Brügmann
Diese Publikation zitieren
Johannes Brügmann, Modelling and implementation of a microscopic traffic simulation system (2015), Logos Verlag, Berlin, ISBN: 9783832587918
20
Accesses
Accesses
Beschreibung / Abstract
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.
Inhaltsverzeichnis
- BEGINN
- Contents
- 1 Introduction
- 1.1 Traffic simulation systems
- 1.2 Application domains
- 1.3 Outline
- 2 Initial position
- 2.1 Requirements
- 2.2 State of the art
- 2.3 Summary
- 3 Conceptual design
- 3.1 General remarks
- 3.2 Vehicle model
- 3.3 Network model
- 3.4 Traffic model
- 3.5 Detector model
- 3.6 Tuning model
- 3.7 Simulation model
- 3.8 Summary
- 4 Implementation issues
- 4.1 General remarks
- 4.2 Simulation model implementation
- 4.3 Vehicle models
- 4.4 Traffic models
- 4.5 Detector models
- 4.6 Tuning element models
- 4.7 Running the simulation
- 4.8 Summary
- 5 Benefits of the presented work
- 5.1 Obtaining and distributing traffic information
- 5.2 Verification and validation
- 5.3 Implementing the next version
- 5.4 Summary
- 6 Outlook
- A Acknowledgements
- References