http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92109

A scalable fluid flow process algebraic approach to emergency egress analysis (Contributo in atti di convegno)

Type

Label

A scalable fluid flow process algebraic approach to emergency egress analysis (Contributo in atti di convegno) (literal)

Anno

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

Alternative label

Mieke Massink; Diego Latella; Andrea Bracciali; Michael Harrison (2010)
A scalable fluid flow process algebraic approach to emergency egress analysis
in 8th IEEE International Conference on Software Engineering and Formal Methods, Pisa, Italy, 14-18 September 2010
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

In: SEFM 2010 - 8th IEEE International Conference on Software Engineering and Formal Methods (Pisa, Italy, 14-18 September 2010). Proceedings, pp. 169 - 180. IEEE, 2010. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

ABSTRACT: Pervasive environments offer an increasing number of services to a large number of people moving within these environments including timely information about where to go and when. People using these services interact with the system but they are also meeting other people and performing other activities as relevant opportunities arise. The design of such systems and the analysis of collective dynamic behaviour of people within them is a challenging problem. In previous work we have successfully explored a scalable analysis of stochastic process algebraic models of smart signage systems. In this paper we focus on the validation of a representative example of this class of models in the context of emergency egress. This context has the advantage that detailed data is available from studies with alternative analysis methods. A second aim is to show how realistic human behaviour, often observed in emergency egress, can be embedded in the model and how the effect of this behaviour (literal)

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

CNR-ISTI Pisa, Italy; CNR-ISTI Pisa, Italy; CNR-ISTI Pisa, Italy; School of Computing Science Newcastle University Newcastle upon Tyne, UK (literal)

Titolo

A scalable fluid flow process algebraic approach to emergency egress analysis (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

Abstract

Pervasive environments offer an increasing number of services to a large number of people moving within these environments including timely information about where to go and when. People using these services interact with the system but they are also meeting other people and performing other activities as relevant opportunities arise. The design of such systems and the analysis of collective dynamic behaviour of people within them is a challenging problem. In previous work we have successfully explored a scalable analysis of stochastic process algebraic models of smart signage systems. In this paper we focus on the validation of a representative example of this class of models in the context of emergency egress. This context has the advantage that detailed data is available from studies with alternative analysis methods. A second aim is to show how realistic human behaviour, often observed in emergency egress, can be embedded in the model and how the effect of this behaviour on building evacuation can be analysed in an efficient and scalable way. (literal)

Editore