Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes

  • Bernd Werther
  • Christoph Moehlenbrink
  • Michael Rudolph
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4561)

Abstract

The development of the experimental Remote Tower Operation Human Machine Interface and the new Remote-Controller work position is supported by a cognitive work and task analysis (CWA) of the presently existing work environment and decision processes at airport Leipzig. This paper presents a formal approach for the description of the whole Human Machine System. It is shown how the results of a cognitive work analysis on a medium size airport are transferred into a formal executable human machine model for simulating the controllers work processes in relation to the airport processes. The model is implemented with Colored Petri Nets. The mathematical basis of Petri Nets allows a formal analysis of whole systems. Critical system states and inconsistencies in the human machine system are identified through comparison of knowledge states of the controllers with process states of the airport system by using State Space analysis. The represented formal work process model provides a valuable support for the communication between domain experts and system developers.

Keywords

Airport control model Human Machine System Colored Petri Net State Space Cognitive work analysis 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Schmidt, M., Rudolph, M., Werther, B., Fürstenau, N.: Remote Airport Tower Operation with Augmented Vision Video Panorama HMI. In: Proc. 2nd Int. Conf. Research in Air Transportation ICRAT 2006, Belgrade, Serbia, June 24.28, 2006, pp. 221–230 (2006)Google Scholar
  2. 2.
    Werther, B., Uhlmann, H.: Ansatz zur modellbasierten Entwicklung eines Lotsenarbeits-platzes. Zustandserkennung und Systemgestaltung, Fortschritt Berichte VDI, vol. 22, pp. 291–294 (2005)Google Scholar
  3. 3.
    Degani, A., Heymann, M.: Formal verification of human-automation interaction. Human Factors 44, 28–43 (2002)CrossRefGoogle Scholar
  4. 4.
    Vicente, K.J.: Cognitive Work Analysis. Lawrence Erlbaum Associates, Mahwah/NJ (1999)Google Scholar
  5. 5.
    Jensen, K.: Coloured Petri Nets. Springer, Berlin (1997)MATHGoogle Scholar
  6. 6.
  7. 7.
    Werther, B., Schnieder, E.: Formal Cognitive Resource Model: Modeling of human behavior in complex work environments. In: Proc. Int. Conf. Computational Intelligence for Modelling, Control & Automation, CIMCA 2005, Wien, pp. 606–611 (2005)Google Scholar
  8. 8.
    Werther, B.: Kognitive Modellierung mit farbigen Petrinetzen zur Analyse menschlichen Verhaltens, PhD Dissertation, DLR-Inst. of Flight Guidance and Technische Universität Braunschweig (2006)Google Scholar
  9. 9.
    Sperandio, J.C.: The regulation of working methods as a function of work-load among air traffic controllers. Ergonomics 21(3), 195–202 (1978)CrossRefGoogle Scholar
  10. 10.
    Dörner, D.: The Logic of Failure: Recognizing and avoiding error in complex situations. Metropolitan Books, New York (1996)Google Scholar
  11. 11.
    Cacciabue, P.C.: Modelling and simulation of human behaviour in System control. Springer, London (1998)Google Scholar
  12. 12.
    Werther, B.: Colored Petri net based modeling of airport control processes. In: Proc. Int. Conf. Computational Intelligence for Modelling, Control & Automation, CIMCA, Sydney (2006)Google Scholar
  13. 13.
    Hagemann, T.: Belastung, Beanspruchung und Vigilanz in der Flugsicherung unter besonderer Berücksichtigung der Towerlotsentätigkeit. PhD Dissertation, Europäische Hochschulschriften, 2000, Reihe 6, Psychologie; Bd. 664 (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Bernd Werther
    • 1
  • Christoph Moehlenbrink
    • 1
  • Michael Rudolph
    • 1
  1. 1.German Aerospace Center, Institute of Flight Guidance, Lilienthalplatz 7, 38108 BraunschweigGermany

Personalised recommendations