ISCRAM Digital Library
Home
|
Show All
|
Simple Search
|
Advanced Search
Login
Quick Search:
Field:
main fields
author
title
publication
keywords
abstract
area
conference
contains:
...
1–1 of 1 record found matching your query (
RSS
):
Search & Display Options
Search within Results:
Field:
author
title
year
keywords
abstract
type
publication
abbrev_journal
volume
issue
pages
thesis
publisher
place
editor
series_title
language
area
notes
call_number
serial
contains:
...
Exclude matches
Display Options:
Field:
all fields
keywords & abstract
additional fields
records per page
Select All
Deselect All
<<
1
>>
List View
|
Citations
|
Details
Record
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
Select All
Deselect All
<<
1
>>
List View
|
Citations
|
Details
Home
CQL Search
|
Library Search
|
Show Record
|
Extract Citations
Help