Safety modelling and analysis of organizational processes in air traffic

6th EUROCONTROL Innovative Research Workshop and Exhibition: Disseminating ATM Innovative Research

Volumn , Issue , 2007, Pages 79-90

  Stroeve, Sybert H ^a   Sharpanskykh, Alexei ^b   Blom, Henk A P ^a  

^a NATIONAL AEROSPACE LABORATORY NLR   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Air traffic; Modelling; Organization; Safety

Indexed keywords

ACCIDENT PREVENTION; MODELS; SOCIETIES AND INSTITUTIONS; STOCHASTIC SYSTEMS;

AIR TRAFFICS; ORGANIZATIONAL MODELING; ORGANIZATIONAL MODELLING; ORGANIZATIONAL PROCESS; ORGANIZATIONAL RELATIONSHIPS; PERFORMANCE INDICATORS; PERFORMANCE-ORIENTED; SIMULATION AND ANALYSIS;

ADVANCED TRAFFIC MANAGEMENT SYSTEMS;

EID: 84961360930     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (34)

1. Reason J. Managing the risk of organizational accidents. Ashgate, Aldershot, England, 1997
2. Turner BA. Man-made disasters. Wykeham Science Press, London, UK, 1978
3. Perrow C. Normal accidents: Living with high-risk technologies. Basic Books, New York, USA, 1984
4. Hollnagel E. Barriers and accident prevention. Ashgate, Aldershot, England, 2004
5. Leveson N. A new accident model for engineering safer systems. Safety Science 42:237-270, 2004
6. Sträter O. Cognition and safety: An integrated approach to system design and assessment. Ashgate, Aldershot, England, 2005
7. Hollnagel E, Woods DD, Leveson N (eds.). Resilience engineering: Concepts and precepts. Ashgate, Aldershot, England, 2006
8. Le Coze J. Are organizations too complex to be integrated in technical risk assessment and current safety auditing? Safety Science 43:613-638, 2005
9. Reason J, Hollnagel E, Paries J. Revisiting the Swiss cheese model of accidents. Eurocontrol, EEC Note no. 13/06, 2006
10. Blom HAP, Bakker GJ, Blanker PJG, Daams J, Everdij MHC, Klompstra MB. Accident risk assessment for advanced air traffic management. In: Donohue GL and Zellweger AG (eds.), Air Transport Systems Engineering, AIAA, pp. 463-480, 2001
11. Stroeve SH, Sharpanskykh A, Blom HAP. Literature survey of safety modelling and analysis of organizational processes: Eurocontrol CARE Innovative research III. National Aerospace Laboratory NLR, report CR-2007-156, 2007
12. Hopkins A. Studying organizational cultures and their effects on safety. Safety Science 44:875-889, 2006
13. Popova V, Sharpanskykh A. A Formal Framework for Modeling and Analysis of Organizations. In: Ralyte, J., Brinkkemper, S., Henderson-Sellers, B. (eds.), Proceedings of the Situational Method Engineering Conference, ME'07, Springer Verlag, 2007
14. Zambonelli F, Jennings NR, Wooldridge M. Developing multi-agent systems: the Gaia Methodology, ACM Transactions on Software Engineering and Methodology, vol. 12 (3): 317-370, 2003
15. Ferber J, Gutknecht O. A meta-model for the analysis and design of organizations in multi-agent systems. In: Proceedings of Third International Conference on Multi-Agent Systems (ICMAS'98), IEEE Computer Society, 128-135, 1998
16. Omicini, A. (2000). SODA: Societies and infrastructures in the analysis and design of agent-based systems. In: Proceeding of AOSE 2000, 185-193
17. Hannoun M, Boissier O, Sichman JS, Sayettat C. MOISE: An Organizational Model for Multi-agent Systems. In Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence, LNCS, vol. 1952, 156-165, 2000
18. Bresciani P, Giorgini P, Giunchiglia F, Mylopoulos J, Perini A. Tropos: An Agent-Oriented Software Development Methodology, Journal of Autonomous Agent and Multi-Agent Systems, vol. 8(3): 203-236, 2004
19. Brazier FMT, Dunin-Keplicz B, Jennings N, Treur J. DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. International Journal of Cooperative Information Systems, 6: 67-94, 1997
20. Heinrich HW. Industrial accident prevention: A scientific approach. McGraw-Hill Book Cie, New York, 1931
21. Manzano M. Extensions of First Order Logic, Cambridge University Press, 1996
22. Sharpanskykh A, Treur J. Verifying Interlevel Relations within Multi-Agent Systems. In: G. Brewka, S. Coradeschi, A. Perini, P. Traverso (eds.), Proceedings of the 17th European Conference on Artificial Intelligence, ECAI'06. IOS Press, 290-294, 2006
23. Pinder CC. Work motivation in organizational behavior. Upper Saddle River, NJ: Prentice-Hall, 1998
24. Katz D, Kahn R. The social psychology of organizations. Wiley, New York, 1966
25. Jonker, CM Sharpanskykh A, Treur J, Yolum P. A Framework for Formal Modeling and Analysis of Organizations, Applied Intelligence 27(1): 49-66, 2007
26. Sharpanskykh A. Authority and its Implementation in Enterprise Information Systems. In: Sadiq, S., Reichert, M., Schulz, K., Trienekens, J., Moller, C., and Kusters, J. (eds.), Proceeding of the 1st International Workshop on Management of Enterprise Information Systems, MEIS 2007, INSTICC Press, 33-43, 2007
27. Popova V, Sharpanskykh A. Modelling Organizational Performance Indicators. In: Barros, F. et al. (eds.): Proceedings of the International Modeling and Simulation Multiconference IMSM'07, SCS Press, 165-170, 2007
28. Popova V, Sharpanskykh A. Process-Oriented Organization Modeling and Analysis. In: J.C.Augusto, J. Barjis, U. Ultes-Nitsche (eds.), Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2007), INSTICC Press, 114-126, 2007
29. Stroeve SH, Sharpanskykh A, Blom HAP. Organizational safety modelling and analysis of an air traffic application: Eurocontrol CARE Innovative research III. National Aerospace Laboratory NLR, report CR-2007-457, 2007
30. Stroeve SH. Safety modelling and analysis of organizational processes in air traffic: Proposal for Eurocontrol CARE Innovative Research III. National Aerospace Laboratory NLR, memorandum ATSF-2006-102, September 2006
31. Stroeve SH, Sharpanskykh A, Blom HAP. Systemic safety modelling and analysis of organizational processes in air traffic. EUROCONTROL Safety R&D Seminar, Rome, Italy, 24-26 October 2007
32. Popova V, Sharpanskykh A. Formal analysis of executions of organizational scenarios based on process-oriented Models. In: F. Barros et al. (eds), Proceedings of 21st European Conference on Modelling and Simulation ECMS 2007, SCS Press, 36-44, 2007.
33. Sharpanskykh, A. Modeling of Agents in Organizational Context. In: HD. Burkhard, G. Lindeman, L. Varga, R. Verbrugge (eds.), Proceedings of the 5th International Central and Eastern European Conference on Multi-Agent Systems, LNAI 4696, Springer Verlag, 193-204, 2007.
34. Sharpanskykh, A. Agent-based Modeling of Human Organizations. In: F.Amblard (ed.), Proceedings of the 4th European Social Simulation Association Conference, 335-347, 2007.