An analysis pathway for the quantitative evaluation of public transport systems

Stephen Gilmore, Mirco Tribastone, Andrea Vandin

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

We consider the problem of evaluating quantitative service-level agreements in public services such as transportation systems. We describe the integration of quantitative analysis tools for data fitting, model generation, simulation, and statistical model-checking, creating an analysis pathway leading from system measurement data to verification results. We apply our pathway to the problem of determining whether public bus systems are delivering an appropriate quality of service as required by regulators. We exercise the pathway on service data obtained from Lothian Buses about the arrival and departure times of their buses on key bus routes through the city of Edinburgh. Although we include only that example in the present paper, our methods are sufficiently general to apply to other transport systems and other cities.

Original languageEnglish
Title of host publicationIntegrated Formal Methods - 11th International Conference, IFM 2014, Proceedings
Number of pages16
Volume8739
PublisherSpringer Verlag
Publication date2014
Pages71-86
ISBN (Print)9783319101804
DOIs
Publication statusPublished - 2014
Externally publishedYes
Event11th International Conference on Integrated Formal Methods, IFM 2014 - Bertinoro, Italy
Duration: 9 Sep 201411 Sep 2014
Conference number: 11
http://ifm2014.cs.unibo.it/

Conference

Conference11th International Conference on Integrated Formal Methods, IFM 2014
Number11
CountryItaly
CityBertinoro
Period09/09/201411/09/2014
Internet address
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8739
ISSN0302-9743

Cite this

Gilmore, S., Tribastone, M., & Vandin, A. (2014). An analysis pathway for the quantitative evaluation of public transport systems. In Integrated Formal Methods - 11th International Conference, IFM 2014, Proceedings (Vol. 8739, pp. 71-86). Springer Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.. 8739 https://doi.org/10.1007/978-3-319-10181-1_5