A scalable fluid flow process algebraic approach to emergency egress analysis

Proceedings - Software Engineering and Formal Methods, SEFM 2010

Volumn , Issue , 2010, Pages 169-180

  Massink, M ^a   Latella, D ^a   Bracciali, A ^a   Harrison, M D ^b  

^a ISTI CNR   (Italy)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Collective behaviour; Fluid flow; Process algebra; Validation

Indexed keywords

ALGEBRA; FLOW OF FLUIDS; FLUIDS; FORMAL METHODS; RANDOM PROCESSES; STOCHASTIC MODELS;

ALGEBRAIC APPROACHES; ALGEBRAIC MODELS; ANALYSIS METHOD; BUILDING EVACUATION; COLLECTIVE BEHAVIOUR; COLLECTIVE DYNAMIC BEHAVIOUR; EMERGENCY EGRESS; FLUID FLOW; NUMBER OF SERVICES; PERVASIVE ENVIRONMENTS; PROCESS ALGEBRAS; SCALABLE ANALYSIS; STOCHASTIC PROCESS; VALIDATION;

BEHAVIORAL RESEARCH;

EID: 78650424493     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2010.22     Document Type: Conference Paper

References (17)

1. M. H. ter Beek, G. Faconti, M. Massink, P. Palanque, and M. Winckler. Resilience of interaction techniques to interrupts. In: Proc. of INTERACT 2009, vol. I pp. 494-509, LNCS, vol. 5726, Springer, 2009.
2. P. Cairns, M. Jones, and H. Thimbleby. Reusable usability analysis with Markov models. ACM-TOCHI, 8(2):99-132, 2001.
3. F. Ciocchetta and J. Hillston. Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci., 410(33-34):3065-3084, 2009.
4. G. Doherty, M. Massink, and G. Faconti. Reasoning about interactive systems with stochastic models. In: LNCS, vol. 2220 pp. 144-163, Springer, 2001.
5. D. T. Gillespie. Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry, 81(25):2340-2361, 1977.
6. M. D. Harrison, M. Massink, and D. Latella. Engineering crowd interaction within smart environments. In: Proc. of EICS09 - ACM SIGCHI Symp. on Eng. Interact. Comp. Sys.. pp. 117-122. ACM, 2009.
7. R. A. Hayden and J. T. Bradley. A fluid analysis framework for a Markovian process algebra. Theoretical Computer Science, 411:2260-2297, Elsevier, 2010.
8. J. Hillston. A compositional approach to performance modelling, 1996. Distinguished Dissertation in Computer Science. Cambridge Univ. Press.
9. J. Hillston. Fluid flow approximation of PEPA models. In Proc. of QEST’05, pages 33-43. IEEE Comp. Soc., 2005.
10. T. M. Kisko, R. L. Francis, and C. R. Nobel. Evacnet4 user’s guide, 1998. http://www.ise.ufl.edu/kisko/files/evacnet/EVAC4UG.HTM.
11. T. G. Kurtz. Solutions of ordinary differential equations as limits of pure jump Markov processes. Journ. of Appl. Prob., 7(1):49-58, 1970.
12. M. Massink, M. D. Harrison, and D. Latella. Scalable analysis of collective behaviour in smart service systems. In Proc. of ACM-SAC, Volume 2, AI and Agents. ACM, 2010.
13. G. Santos and B. E. Aguirre. A critical review of emergency evacuation simulation models. In Proc. of the NIST Workshop on Building Occupant Movement during Fire Emergencies, June 10-11, 2004, pp. 27-52. NIST/BFRL Publications Online, Gaithersburg, MD, USA, 2005.
14. G. K. Still. Crowd Dynamics. Ph.D. Thesis, Univ. of Warwick, August 2000.
15. A. Swain and H. Guttman. 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. 1983
16. M. Tribastone. The PEPA plug-in project. In QEST ’07: Proc. of the Fourth International Conference on Quantitative Evaluation of Systems, pp. 53-54, Washington, DC, USA, 2007. IEEE Computer Society.
17. M. Tribastone and S. Gilmore and J. Hillston. Scalable Differential Analysis of Process Algebra Models. To appear in Transactions on Software Engineering, 2010.