eprintid: 2593
rev_number: 7
eprint_status: archive
userid: 6
dir: disk0/00/00/25/93
datestamp: 2015-02-10 15:26:40
lastmod: 2016-02-12 13:12:35
status_changed: 2015-02-10 15:26:40
type: book_section
metadata_visibility: show
creators_name: Gilmore, Stephen
creators_name: Tribastone, Mirco
creators_name: Vandin, Andrea
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
creators_id: andrea.vandin@imtlucca.it
title: An analysis pathway for the quantitative evaluation of public transport systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
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.
date: 2014
date_type: published
series: Lecture Notes in Computer Science
publisher: Springer
pagerange: 71-86
id_number: 10.1007/978-3-319-10181-1_5
refereed: TRUE
isbn: 978-3-319-10181-1
book_title: Integrated Formal Methods
official_url: http://dx.doi.org/10.1007/978-3-319-10181-1_5
citation:   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)