| |
Records |
Links |
|
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 |
