| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
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 | |||||