Edinburgh Research Explorer

An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems

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

Related Edinburgh Organisations

Open Access permissions



Original languageEnglish
Title of host publicationIntegrated Formal Methods
Subtitle of host publication11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
PublisherSpringer International Publishing
Number of pages16
ISBN (Electronic)978-3-319-10181-1
ISBN (Print)978-3-319-10180-4
Publication statusPublished - 2014


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.

Download statistics

No data available

ID: 17682276