relation: http://eprints.imtlucca.it/2593/
title: An analysis pathway for the quantitative evaluation of public transport systems
creator: Gilmore, Stephen
creator: Tribastone, Mirco
creator: Vandin, Andrea
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
date: 2014
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-319-10181-1_5
relation: 10.1007/978-3-319-10181-1_5