An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems
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.
Unable to display preview. Download preview PDF.
- 1.Tang, L., (Vonu) Thakuriah, P.: Ridership effects of real-time bus information system: A case study in the city of Chicago. Transportation Research Part C: Emerging Technologies 22, 146–161 (2012)Google Scholar
- 2.The City of Edinburgh Council. Bus Tracker Edinburgh real-time bus information website (2014), http://www.mybustracker.co.uk
- 5.Sebastio, S., Vandin, A.: MultiVeStA: Statistical model checking for discrete event simulators. In: 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS, Torino, Italy (December 2013)Google Scholar
- 6.Duguid, A., Gilmore, S., Guerriero, M.L., Hillston, J., Loewe, L.: Design and development of software tools for Bio-PEPA. In: Dunkin, A., Ingalls, R.G., Yücesan, E., Rossetti, M.D., Hill, R., Johansson, B. (eds.) Winter Simulation Conference, WSC, pp. 956–967 (2009)Google Scholar
- 7.Vissat, L.L., Clark, A., Gilmore, S.: Finding optimal timetables for Edinburgh bus routes. In: Proceedings of the Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM 2014), Newcastle, England (May 2014)Google Scholar
- 10.Czarnecki, K., Eiseneckerp, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley (2000)Google Scholar
- 11.Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Boehm, B.W., Garlan, D., Kramer, J. (eds.) ICSE, pp. 411–420. ACM (1999)Google Scholar
- 12.Reed, S.: Transport for London—Using tools, analytics and data to inform passengers. Journeys, 96–104 (September 2013)Google Scholar
- 13.Tranter, M.: Department for Transport—annual bus statistics: England 2012/2013 (September 2013)Google Scholar
- 14.Smarter Scotland: Scottish Government. Bus Punctuality Improvement Partnerships (BPIP) (March 2009)Google Scholar
- 15.Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation. Princeton University Press (2009)Google Scholar
- 20.Sebastio, S., Amoretti, M., Lluch-Lafuente, A.: A computational field framework for collaborative task execution in volunteer clouds. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2014) (2014)Google Scholar
- 21.Pianini, D., Sebastio, S., Vandin, A.: Distributed statistical analysis of complex systems modeled through a chemical metaphor. In: 5th International Workshop on Modeling and Simulation of Peer-to-Peer and Autonomic Systems (MOSPAS 2014) (2014)Google Scholar