Autonomic Computing and Communications Systems. Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers

Research Article

Consequences of Social and Institutional Setups for Occurrence Reporting in Air Traffic Organizations

Download
443 downloads
  • @INPROCEEDINGS{10.1007/978-3-642-11482-3_12,
        author={Alexei Sharpanskykh},
        title={Consequences of Social and Institutional Setups for Occurrence Reporting in Air Traffic Organizations},
        proceedings={Autonomic Computing and Communications Systems. Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers},
        proceedings_a={AUTONOMICS},
        year={2012},
        month={4},
        keywords={Agent-based simulation organization modeling formal analysis air traffic},
        doi={10.1007/978-3-642-11482-3_12}
    }
    
  • Alexei Sharpanskykh
    Year: 2012
    Consequences of Social and Institutional Setups for Occurrence Reporting in Air Traffic Organizations
    AUTONOMICS
    Springer
    DOI: 10.1007/978-3-642-11482-3_12
Alexei Sharpanskykh1,*
  • 1: Vrije Universiteit Amsterdam
*Contact email: sharp@cs.vu.nl

Abstract

Deficient safety occurrence reporting by air traffic controllers is an important issue in many air traffic organizations. To understand the reasons for not reporting, practitioners formulated a number of hypotheses, which are difficult to verify manually. To perform automated, formally-based verification of the hypotheses an agent-based modeling and simulation approach is proposed in this paper. This approach allows modeling both institutional (prescriptive) aspects of the formal organization and social behavior of organizational actors. To our knowledge, agent-based organization modeling has not been attempted in air traffic previously. Using such an approach four hypotheses related to consequences of controller team composition in particular organizational contexts were examined.