Formal analysis of empirical traces in incident management

article



Hoogendoorn, M.

Jonker, C.M.

Maanen, P.P. van

Sharpanskykh, A.
Within the field of incident management split second decisions have to be made, usually on the basis of incomplete and partially incorrect information. As a result of these conditions, errors occur in such decision processes. In order to avoid repetition of such errors, historic cases, disaster plans, and training logs need to be thoroughly analysed. This paper presents a formal approach for such an analysis that pays special attention to spatial and temporal aspects, to information exchange, and to organisational structure. The formal nature of the approach enables automation of analysis, which is illustrated by case studies of two disasters. © 2007 Elsevier Ltd. All rights reserved

Keywords: Incident management; Formal analysis; Automated evaluation
Topics












Automated evaluationFormal analysisIncident managementAutomationDisastersError analysisFormal methodsAutomated evaluationFormal analysisIncident managementOrganizational structuresDecision makingemergency management
TNO Identifier
23777
Repository link
https://resolver.tno.nl/uuid:c0e20beb-c37b-4d24-93c6-f2dc2cdcebb3
Source
Reliability Engineering and System Safety, 93(10), pp. 1422-1433.
Pages
1422-1433
Files
To receive the publication files, please send an e-mail request to TNO Repository.