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.
Chapter PDF
Similar content being viewed by others
Keywords
References
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)
Werther, B., Uhlmann, H.: Ansatz zur modellbasierten Entwicklung eines Lotsenarbeits-platzes. Zustandserkennung und Systemgestaltung, Fortschritt Berichte VDI, vol. 22, pp. 291–294 (2005)
Degani, A., Heymann, M.: Formal verification of human-automation interaction. Human Factors 44, 28–43 (2002)
Vicente, K.J.: Cognitive Work Analysis. Lawrence Erlbaum Associates, Mahwah/NJ (1999)
Jensen, K.: Coloured Petri Nets. Springer, Berlin (1997)
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)
Werther, B.: Kognitive Modellierung mit farbigen Petrinetzen zur Analyse menschlichen Verhaltens, PhD Dissertation, DLR-Inst. of Flight Guidance and Technische Universität Braunschweig (2006)
Sperandio, J.C.: The regulation of working methods as a function of work-load among air traffic controllers. Ergonomics 21(3), 195–202 (1978)
Dörner, D.: The Logic of Failure: Recognizing and avoiding error in complex situations. Metropolitan Books, New York (1996)
Cacciabue, P.C.: Modelling and simulation of human behaviour in System control. Springer, London (1998)
Werther, B.: Colored Petri net based modeling of airport control processes. In: Proc. Int. Conf. Computational Intelligence for Modelling, Control & Automation, CIMCA, Sydney (2006)
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Werther, B., Moehlenbrink, C., Rudolph, M. (2007). Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes. In: Duffy, V.G. (eds) Digital Human Modeling. ICDHM 2007. Lecture Notes in Computer Science, vol 4561. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73321-8_115
Download citation
DOI: https://doi.org/10.1007/978-3-540-73321-8_115
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73318-8
Online ISBN: 978-3-540-73321-8
eBook Packages: Computer ScienceComputer Science (R0)