Abstract
Verification and validation is a crucial step of system design. However the verification of evacuation plan during emergency situation in highly crowded areas is often ignored. Analysis of building, urban and mega event plans, performed at the early design phase may reveal the flaws in architectural design such as presence of congestion spots, improper width of stairs or corridor, fewer number of exits etc. and can be removed as early as possible. The paper analyses emergency egress situation of multi-storey building using process algebraic approach PEPA and models- evacuees, building sections, rescuers, the external help and the situation causing evacuation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Fruin, J.J.: The causes and prevention of crowd disasters. Engineering for Crowd Safety, 99–108 (1993)
Kobes, M., Helsloot, I., de Vries, B., Post, J.G.: Building safety and human behaviour in fire: A literature review. Fire Safety Journal 45, 1–11 (2010)
Gwynne, S., Galea, E.R., Owen, M., Lawrence, P.J., Filippidis, L.: A review of the methodologies used in the computer simulation of evacuation from the built environment. Building and Environment 34, 741–749 (1999)
Still, G.K.: Crowd dynamics. University of Warwick (2000)
Massink, M., Latella, D., Bracciali, A., Harrison, M.D., Hillston, J.: Scalable context-dependent analysis of emergency egress models. Formal Aspects of Computing 24, 267–302 (2012)
Hillston, J.: A compositional approach to performance modelling. Cambridge University Press (2005)
Gilmore, S., Hillston, J.: The PEPA workbench: a tool to support a process algebra-based approach to performance modelling. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol. 794, pp. 353–368. Springer, Heidelberg (1994)
Tribastone, M., Duguid, A., Gilmore, S.: The PEPA eclipse plugin. ACM SIGMETRICS Performance Evaluation Review 36, 28–33 (2009)
Tribastone, M.: The PEPA plug-in project (QEST), vol. 7(2007)
Smith, M.J.: Abstraction and model checking in the pepa plug-in for eclipse. In: 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST), pp. 155–156. IEEE (2010)
Hillston, J.: Fluid flow approximation of pepa models. In: Second International Conference on the Quantitative Evaluation of Systems (QEST), pp. 33–42. IEEE (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Singh, A.K., Kaur, S. (2015). Analysis of Emergency Evacuation of Building Using PEPA. In: Natarajan, R., Barua, G., Patra, M.R. (eds) Distributed Computing and Internet Technology. ICDCIT 2015. Lecture Notes in Computer Science, vol 8956. Springer, Cham. https://doi.org/10.1007/978-3-319-14977-6_51
Download citation
DOI: https://doi.org/10.1007/978-3-319-14977-6_51
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-14976-9
Online ISBN: 978-3-319-14977-6
eBook Packages: Computer ScienceComputer Science (R0)