Scalable context-dependent analysis of emergency egress models

Formal Aspects of Computing

Volumn 24, Issue 2, 2012, Pages 267-302

  Massink, M ^a   Latella, D ^a   Bracciali, A ^b   Harrison, M D ^c   Hillston, J ^d  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF STIRLING   (United Kingdom)

^c NEWCASTLE UNIVERSITY   (United Kingdom)

^d UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Collective behaviour; Context dependency; Fluid flow; Stochastic process algebra; Validation

Indexed keywords

AGENT INTERACTION; AGENT MODELLING; ANALYSIS METHOD; COLLECTIVE BEHAVIOUR; COLLECTIVE DYNAMIC BEHAVIOUR; CONTEXT DEPENDENCY; CONTEXT DEPENDENT; CONTEXTUAL INFORMATION; EMERGENCY EGRESS; HUMAN BEHAVIOURS; NUMBER OF PEOPLES; NUMBER OF SERVICES; PERVASIVE ENVIRONMENTS; PUBLIC DISPLAY; SCALABLE ANALYSIS; STOCHASTIC PROCESS ALGEBRAS; SURROUNDING ENVIRONMENT; VALIDATION;

FLOW OF FLUIDS; RANDOM PROCESSES;

ALGEBRA;

EID: 84861571783     PISSN: 09345043     EISSN: 1433299X     Source Type: Journal    
DOI: 10.1007/s00165-011-0188-1     Document Type: Article

References (30)

1. Bracciali A, Hillston J, Latella D, Massink M (2010) Reconciling population and agent models for crowd dynamics. In: Preliminary Proceedings of the Third International Workshop on Logics, Agents, and Mobility (LAM2010). Federated Logic Conferences (FLo C), pp 3-17
2. Bio-PEPA Home Page. http://www.biopepa.org/
3. Ciocchetta F, Duguid A, Gilmore S, Guerriero ML, Hillston J (2009) The Bio-PEPA Tool Suite. In: Proceedings of the 6th International Conference on Quantitative Evaluation of Sys Tems (QEST 2009). IEEE Computer Society, New Jersey, pp 309-310
4. Ciocchetta F, Guerriero ML (2009) Modelling biological compartments in Bio-PEPA. ENTCS 227:77-95
5. Ciocchetta F, Hillston J (2008) Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. ENTCS 194(3):103-117 (Pubitemid 351173025)
6. Ciocchetta F, Hillston J (2009) Bio-PEPA: A framework for the modelling and analysis of biological systems. TCS 410(33-34):3065-3084
7. Cairns P, Jones M, Thimbleby H (2001) Reusable usability analysis with Markov models. ACM Trans Hum Comput Interact (TOCHI) 8(2):99-132
8. Duguid A, Gilmore ST, Guerriero ML, Hillston J, Loewe L (2009) Design and development of software tools for bio-pepa. In: Dunkin A, Ingalls RG, Yücesan E, Rossetti MD, Hill R, Johansson B (eds) Winter Simulation Conference. WSC, pp 956-967
9. Doherty G, Massink M, Faconti G (2001) Reasoning about interactive systems with stochastic models. LNCS 2220:144-163 (Pubitemid 33361943)
10. Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81(25):2340-2361
11. Hayden RA, Bradley JT (2010) A fluid analysis framework for a Markovian process algebra. TCS 411(22-24):2260-2297
12. Hillston J (1996) A compositional approach to performance modelling. Distinguished dissertation in computer Science. Cambridge University Press, Cambridge
13. Hillston J (2005) Fluidflow approximation of PEPA models. In Proceedings of QEST'05, IEEE Computer Society, New Jersey, pp 33-43
14. Harrison MD, Massink M, Latella D (2009) Engineering crowd interaction within smart environments. In: EICS 2009\-ACM SIGCHI Symposium on Engineering Interactive Computing Systems. ACM, New York, pp 117-122
15. Kisko TM, Francis RL, Nobel CR (1998) Evacnet4 user's guide. http://www.ise.ufl.edu/kisko/files/evacnet/EVAC4UG.HTM.
16. Kosińskia RA, Grabowskib A (2010) langevin equations formodelling evacuation processes. Acta Phys Polonica B Proc Suppl 3(2):365-376
17. Kray C, Kortuem G, Kruger A (2005) Adaptive navigation support with public displays. In: Proceedings of IUI 2005. ACM Press, New York, pp 326-328
18. Kwiatkowska M, Norman G, Parker D (2009) PRISM: probabilistic model checking for performance and reliability analysis. ACM Sigmetrics Perform Eval Rev 36(4):40-45
19. Kemper P, Tepper C (2009) Automated trace analysis of discrete-event system models. IEEE Trans Softw Eng 35(2):195-208
20. Kurtz Thomas G (1970) Solutions ofordinary differential equations as limits ofpurejump markov processes. J Appl Probab 7(1):49-58
21. Lijding MEM, Meratnia N, Benz HP, Matysiak Szóstek A (2007) Smart signs showyou the way. I/O Vivat, 22(4):35-38. ISSN 1389-0468
22. Massink M, Bracciali A, Latella D, Harrison M (2010) A scalable fluid flow process algebraic approach to emergency egress analysis. In: Proceedings of the 8th IEEE International Conference on Software Engineering And Formal Methods (SEFM2010). IEEE, New Jersey, pp 169-180
23. Massink M, Harrison M, Latella D (2010) Scalable analysis ofcollective behaviour in smart service systems. In: Proceedings of the 25th Annual ACM Symposium on Applied Computing, vol 2. ACM, New Jersey, pp 1173-1180
24. Santos G, Aguirre BE (2005) A critical review ofemergency evacuation simulation models In: Proceedings of the NIST Work-shop on Building Occupant Movement during Fire Emergencies, June 10-11, 2004, pages 27-52. NIST/BFRL Publications Online, Gaithersburg, MD, USA
25. Swain AD, Guttman HE (1983) Handbook of human reliability analysis with emphasis on nuclear power plant applications. Technical Report NUREG/CR-1278 SAND80-0200 RX, AN, U.S. Nuclear Regulatory Commission. Final Report
26. Slegers J (2010) A Langevin Interpretation of PEPA Models. ENTCS 261:71-89
27. Still GK (2000) Crowd dynamics, Dissertation. University of Warwick
28. Ter Beek MH, Faconti G, Massink M, Palanque P, and Winckler M (2009) Resilience of interaction techniques to interrupts. In: INTERACT 2009\-Human-Computer Interaction. 12th IFIP TC 13International Conference. Proceedings, vol I. LNCS, vol 5726. Springer, Berlin, pp 494-509
29. Tribastone M, Gilmore S, Hillston J (2010) Scalable differential analysis ofprocess algebra models. Trans Softw Eng (in press)
30. Tribastone M (2007) The PEPA plug-in project. In: QEST '07: Proceedings of the Fourth International Conference on Quan-titative Evaluation of Systems, Washington, DC, USA. IEEE Computer Society, New Jersey, pp 53-54