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.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.
| 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 |
