|   | 
Details
   web
Records
Author Kenneth Johnson; Javier Cámara; Roopak Sinha; Samaneh Madanian; Dave Parry
Title Towards Self-Adaptive Disaster Management Systems Type Conference Article
Year 2021 Publication ISCRAM 2021 Conference Proceedings – 18th International Conference on Information Systems for Crisis Response and Management Abbreviated Journal Iscram 2021
Volume Issue Pages 49-61
Keywords disaster management, self-adaptive systems, formal verification, probabilistic model checking, constraint solving
Abstract Disasters often occur without warning and despite extensive preparation, disaster managers must take action to respond to changes critical resource allocations to support existing health-care facilities and emergency triages. A key challenge is to devise sound and verifiable resourcing plans within an evolving disaster scenario. Our main contribution is the development of a conceptual self-adaptive system featuring a monitor-analyse-plan-execute (MAPE) feedback loop to continually adapt resourcing within the disaster-affected region in response to changing usage and requirements. We illustrate the system's use on a case study based on Auckland city (New Zealand). Uncertainty arising from partial knowledge of infrastructure conditions and outcomes of human participant's actions are modelled and automatically analysed using formal verification techniques. The analysis inform plans for routing resources to where they are needed in the region. Our approach is shown to readily support multiple model and verification techniques applicable to a range of disaster scenarios.
Address Auckland University of Technology; University of York; Auckland University of Technology; AUT university; Auckland University of Technology
Corporate Author Thesis
Publisher Virginia Tech Place of Publication Blacksburg, VA (USA) Editor Anouck Adrot; Rob Grace; Kathleen Moore; Christopher W. Zobel
Language English Summary Language English Original Title
Series Editor Series Title Abbreviated Series Title
Series Volume Series Issue Edition
ISSN 978-1-949373-61-5 ISBN Medium
Track AI and Intelligent Systems for Crises and Risks Expedition Conference 18th International Conference on Information Systems for Crisis Response and Management
Notes kenneth.johnson@aut.ac.nz Approved no
Call Number ISCRAM @ idladmin @ Serial 2312
Share this record to Facebook
 

 
Author André Sabino; Rui Nóbrega; Armanda Rodrigues; Nuno Correia
Title Life-saver: Flood emergency simulator Type Conference Article
Year 2008 Publication Proceedings of ISCRAM 2008 – 5th International Conference on Information Systems for Crisis Response and Management Abbreviated Journal ISCRAM 2008
Volume Issue Pages 724-733
Keywords Computer simulation; Data visualization; Human computer interaction; Information systems; Verification; Agent based simulation; Agent-based approach; Crisis response; Emergency plans; Emergency situation; GIS Integration; Simulation platform; Validation process; Emergency services
Abstract This paper proposes an agent-based simulation system for Dam Break Emergency Plan validation. The proposed system shows that integrating GIS data with an agent-based approach provides a successful simulation platform for the emergency plan validation process. Possible strategies to emergency plan modeling and representation are discussed, proposing a close relation with the actual workflow followed by the entities responsible for the plan's specification. The simulation model is mainly concerned with the location-based and location-motivated actions of the involved agents, describing the likely effects of a specific emergency situation response. The simulator architecture is further described, based on the correspondence between the representation of the plan, and the simulation model. This includes the involving characteristics of the simulation, the simulation engine, the description of the resulting data (for the later evaluation of the emergency plan) and a visualization and interaction component, enabling the dynamic introduction of changes in the scenario progression.
Address IMG (Interactive Multimedia Group), DI and CITI/FCT, New University of Lisbon, Quinta da Torre, 2829-516, Caparica, Portugal
Corporate Author Thesis
Publisher Information Systems for Crisis Response and Management, ISCRAM Place of Publication Washington, DC Editor F. Fiedrich, B. Van de Walle
Language English Summary Language English Original Title
Series Editor Series Title Abbreviated Series Title
Series Volume Series Issue Edition
ISSN 2411-3387 ISBN 9780615206974 Medium
Track Geographic Information Science Expedition Conference 5th International ISCRAM Conference on Information Systems for Crisis Response and Management
Notes Approved no
Call Number Serial 902
Share this record to Facebook
 

 
Author Jian Wang; Daniela Rosca; Williams Tepfenhart; Allen Milewski
Title Incident command system workflow modeling and analysis: A case study Type Conference Article
Year 2006 Publication Proceedings of ISCRAM 2006 – 3rd International Conference on Information Systems for Crisis Response and Management Abbreviated Journal ISCRAM 2006
Volume Issue Pages 127-136
Keywords Information systems; Management information systems; Models; Verification; Work simplification; Formal approach; Incident command systems; Paperless; Work-flows; Workflow; Workflow management systems; Workflow modeling; Workflow modeling and analysis; Fire hazards
Abstract The dynamics and volunteer-based workforce characteristics of incident command systems have raised significant challenges to workflow management systems. Incident command systems must be able to adapt to ever changing surroundings and tasks during an incident. These changes need to be known by all responsible parties, since people work in shifts, get tired or sick during the management of an incident. In order to create this awareness, job action sheets and forms have been created. We propose a paperless system that can dynamically take care of these aspects, and formally verify the correctness of the workflows. Furthermore, during an incident, the majority of workers are volunteers that vary in their knowledge of computers, or workflows. To address these challenges, we developed an intuitive, yet formal approach to workflow modeling, modification, enactment and validation. In this paper, we show how to apply this approach to address the needs of a typical incident command system workflow.
Address Department of Software Engineering, Monmouth University, West Long Branch, NJ 07728, United States
Corporate Author Thesis
Publisher Royal Flemish Academy of Belgium Place of Publication Newark, NJ Editor B. Van de Walle, M. Turoff
Language English Summary Language English Original Title
Series Editor Series Title Abbreviated Series Title
Series Volume Series Issue Edition
ISSN 2411-3387 ISBN 9090206019; 9789090206011 Medium
Track INCIDENT COMMAND SYSTEMS WORKFLOW MANAGEMENT Expedition Conference 3rd International ISCRAM Conference on Information Systems for Crisis Response and Management
Notes Approved no
Call Number Serial 1062
Share this record to Facebook