Formal analysis of empirical traces in incident management

Reliability Engineering and System Safety

Volumn 93, Issue 10, 2008, Pages 1422-1433

  Hoogendoorn, Mark ^a   Jonker, Catholijn M ^b   van Maanen, Peter Paul ^a,c   Sharpanskykh, Alexei ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c TNO   (Netherlands)

Author keywords

Automated evaluation; Formal analysis; Incident management

Indexed keywords

AUTOMATION; DISASTERS; ERROR ANALYSIS; FORMAL METHODS;

AUTOMATED EVALUATION; FORMAL ANALYSIS; INCIDENT MANAGEMENT; ORGANIZATIONAL STRUCTURES;

DECISION MAKING;

EID: 43249094748     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2007.11.001     Document Type: Article

References (19)

1. Abbink H, van Dijk R, Dobos T, Hoogendoorn M, Jonker CM, Konur S, et al. Automated support for adaptive incident management. In: van de Walle B, Carle B, editors. Proceedings of the first international workshop on information systems for crisis response and management, ISCRAM'04, May 2004. p. 69-74.
2. Austin J.L. How to do things with words. 2nd ed (1976), Oxford University Press, Oxford
3. Bosse T., Jonker C.M., van der Meij L., Sharpanskykh A., and Treur J. Specification and verification of dynamics in cognitive agent models. Proceedings of the sixth international conference on intelligent agent technology, IAT'06 (2006), IEEE Computer Society Press 247-254
4. Bosse T., Jonker C.M., van der Meij L., and Treur J. LEADSTO: a language and environment for analysis of dynamics by simulation. In: Eymann T., Kluegl F., Lamersdorf W., Klusch M., and Huhns M.N. (Eds). Proceedings of the third German conference on multi-agent system technologies, MATES'05, Lecture notes in artificial intelligence vol. 3550 (2005), Springer, Berlin 165-178
5. Breuer K., and Satish U. Emergency management simulations-an approach to the assessment of decision making processes in complex dynamic environments. In: Jose J.G. (Ed). From modeling to managing security: a system dynamics approach (2003), HoyskoleForlaget 145-156
6. de Bruin B, Hoogendoorn M. A formal organizational modeling approach to support change processes: a case study in Dutch Municipalities. In: Dignum V, Dignum F, Matson E, Edmonds B, editors. Proceedings of the workshop on agent organizations: models, and simulation, 2007. p. 13-25.
7. Burghardt P. Combined systems: the combined systems point of view. In: Carlé B, van der Walle B, editors. Proceedings of the international workshop on information systems for crisis response and management '04, Brussels, Belgium, 2004. p. 51-56.
8. Burns C. Analysing accidents using structured and formal methods. PhD thesis, Department of Computing Science, University of Glasgow, Scotland, UK, 2000.
9. Hoogendoorn M., Jonker C.M., Konur S., van Maanen P.-P., Popova V., Sharpanskykh A., et al. Formal analysis of empirical traces in incident management. In: Macintosh A., Ellis R., and Allen T. (Eds). Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI international conference on innovative techniques and applications of artificial intelligence (2004), Springer, Berlin 237-250
10. Inspectie Brandweerzorg en Rampenbestrijding. Vliegtuigongeval Vliegbasis Eindhoven 15 Juli 1996 (1996), SDU Grafische Bedrijf, The Hague
11. Inspectie Brandweerzorg en Rampenbestrijding. Dakota-incident Waddenzee 1996 (1997), SDU Grafische Bedrijf, The Hague
12. Johnson C.W. A Handbook for the reporting of incidents and accidents (2002), Springer, London, UK
13. Johnson C.W., and Holloway C.M. A survey of causation in mishap logics. Reliab Eng Syst Saf 80 3 (2003) 271-291
14. Jonker C.M., Letia I.A., and Treur J. Diagnosis of the dynamics within an organisation by trace checking of behavioural requirements. In: Wooldridge M., Weiss G., and Ciancarini P. (Eds). Agent-oriented software engineering, proceedings of the second international workshop AOSE'01, lecture notes in computer science vol. 2222 (2002), Springer, Berlin 17-32
15. Jonker C.M., and Treur J. Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness. Int J Coop Inf Syst 11 (2002) 51-92
16. Ladkin P, Loer K. Formalism helps in describing accidents. In: Proceedings of Digital Avionics Systems Conference (DASC), IEEE 1999. p. 6.D.4-1-10.
17. van der Lee MDE, van Vugt M. IMI-an information system for effective multidisciplinary incident management. In: Carlé B, van der Walle B, editors. Proceedings of the international workshop on information systems for crisis response and management '04, Brussels, Belgium, 2004.
18. Manzano M. Extensions of first order logic (1996), Cambridge University Press, Cambridge
19. de Ridder M, Twenhöfel C. The design and implementation of a decision support and information exchange system for nuclear emergency management in the Netherlands. In: Carlé B, van der Walle B, editors. Proceedings of the international workshop on information systems for crisis response and management '04, Brussels, Belgium, 2004. p. 3-38.