Title of article :
Formal analysis of empirical traces in incident management
Author/Authors :
Mark Hoogendoorn، نويسنده , , Catholijn M. Jonker، نويسنده , , Peter-Paul van Maanen، نويسنده , , Alexei Sharpanskykh، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Pages :
12
From page :
1422
To page :
1433
Abstract :
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.
Keywords :
Incident management , Formal analysis , Automated evaluation
Journal title :
Reliability Engineering and System Safety
Serial Year :
2008
Journal title :
Reliability Engineering and System Safety
Record number :
1187843
Link To Document :
بازگشت