Logo eprints

An analysis pathway for the quantitative evaluation of public transport systems

Gilmore, Stephen and Tribastone, Mirco and Vandin, Andrea An analysis pathway for the quantitative evaluation of public transport systems. In: Integrated Formal Methods. Lecture Notes in Computer Science . Springer, pp. 71-86. ISBN 978-3-319-10181-1 (2014)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-319-10181-1_5
Additional Information: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 10 Feb 2015 15:26
Last Modified: 12 Feb 2016 13:12
URI: http://eprints.imtlucca.it/id/eprint/2593

Actions (login required)

Edit Item Edit Item