An analysis pathway for the quantitative evaluation of public transport systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8739, Issue , 2014, Pages 71-86

  Gilmore, Stephen ^b   Tribastone, Mirco ^a   Vandin, Andrea ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BUSES; FORMAL METHODS; QUALITY OF SERVICE; TRANSPORTATION;

PUBLIC TRANSPORT SYSTEMS; QUANTITATIVE ANALYSIS TOOLS; QUANTITATIVE EVALUATION; SERVICE LEVEL AGREEMENTS; STATISTICAL MODEL CHECKING; SYSTEM MEASUREMENT; TRANSPORTATION SYSTEM; VERIFICATION RESULTS;

MODEL CHECKING;

EID: 84906984709     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-10181-1_5     Document Type: Article

References (24)

1. Tang, L., 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)
2. The City of Edinburgh Council. Bus Tracker Edinburgh real-time bus information website (2014), http://www.mybustracker.co.uk
3. Reinecke, P., Krauß, T., Wolter, K.: Phase-type fitting using HyperStar. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds.) EPEW 2013. LNCS, vol. 8168, pp. 164–175. Springer, Heidelberg (2013)
4. Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. Theoretical Computer Science 410(33-34), 3065–3084 (2009)
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)
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¨ucesan, E., Rossetti, M.D., Hill, R., Johansson, B. (eds.) Winter Simulation Conference, WSC, pp. 956–967 (2009)
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)
8. Kemper, P., Tepperp, C.: Automated trace analysis of discrete-event system models. IEEE Trans. Software Eng. 35(2), 195–208 (2009)
9. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic realtime systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011)
10. Czarnecki, K., Eiseneckerp, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley (2000)
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)
12. Reed, S.: Transport for London—Using tools, analytics and data to inform passengers. Journeys, 96–104 (September 2013)
13. Tranter, M.: Department for Transport—annual bus statistics: England 2012/2013 (September 2013)
14. Smarter Scotland: Scottish Government. Bus Punctuality Improvement Partnerships (BPIP) (March 2009)
15. Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation. Princeton University Press (2009)
16. Massink, M., Latella, D., Bracciali, A., Hillston, J.: Modelling non-linear crowd dynamics in Bio-PEPA. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 96–110. Springer, Heidelberg (2011)
17. Massink, M., Latella, D., Bracciali, A., Harrison, M.D., Hillston, J.: Scalable contextdependent analysis of emergency egress models. Formal Aspects of Computing 24(2), 267–302 (2012)
18. Massink, M., Brambilla, M., Latella, D., Dorigo, M., Birattari, M.: On the use of Bio- PEPA for modelling and analysing collective behaviours in swarm robotics. Swarm Intelligence 7(2-3), 201–228 (2013)
19. Belzner, L., De Nicola, R., Vandin, A., Wirsing, M.: Reasoning (on) service component ensembles in rewriting logic. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 188–211. Springer, Heidelberg (2014)
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)
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)
22. Aziz, A., Singhal, V., Balarin, F., Brayton, R., Sangiovanni-Vincentelli, A.L.: It usually works: The temporal logic of stochastic systems. In: Wolper, P. (ed.) CAV 1995. LNCS, vol. 939, pp. 155–165. Springer, Heidelberg (1995)
23. Baier, C., Katoen, J.-P., Hermanns, H.: Approximate Symbolic Model Checking of Continuous-Time Markov Chains (Extended Abstract). In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 146–161. Springer, Heidelberg (1999)
24. Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Asp. Comput. 6(5), 512–535 (1994)