Data-Driven Modelling and Simulation of Urban Transportation Systems Using CARMA

Natalia Zon, Stephen Gilmore

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Public transportation systems of different degrees and complexity are widely employed in cities around the world. Well-organised and efficient public transportation reduces traffic and the time spent commuting to work. In addition, more people choosing public transport rather than personal cars has a positive impact on reducing the number of vehicles on city roads: lessening their effect on climate change, improving air quality, and reducing noise pollution. Modelling and simulation of urban transportation systems is one way of analysing the influence that a variety of factors have on the overall functioning of the system. In this paper we present a Collective Adaptive Systems (CAS) model of an urban transportation system. We compare aspects of real data collected from a city bus system in the city of Edinburgh, UK, with the results of simulations of the CAS model constructed in the carma language. The simulations show results which are in good agreement with the real-world data, leading us to believe that the model could have useful predictive powers and thus provide an environment for experimentation with possible changes to the design of the system.
Original languageEnglish
Title of host publicationProceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
Place of PublicationLimassol, Cyprus
PublisherSpringer, Cham
Pages274-287
Number of pages14
ISBN (Electronic)978-3-030-03424-5
ISBN (Print)978-3-030-03423-8
DOIs
Publication statusPublished - 31 Oct 2018
Event8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Limassol, Cyprus
Duration: 30 Oct 201813 Nov 2018
http://www.isola-conference.org/isola2018/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Cham
Volume11246
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameTheoretical Computer Science and General Issues
Volume11246

Conference

Conference8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Abbreviated titleISoLA 2018
CountryCyprus
CityLimassol
Period30/10/1813/11/18
Internet address

Fingerprint Dive into the research topics of 'Data-Driven Modelling and Simulation of Urban Transportation Systems Using CARMA'. Together they form a unique fingerprint.

Cite this