elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

FAirControl-A Formal Airport Control Model

Werther, Bernd and Möhlenbrink, Christoph (2007) FAirControl-A Formal Airport Control Model. Interdisciplinary College 2007- Embodied Minds, 2007-03-09-2007-03-16, Günne.

Full text not available from this repository.

Official URL: http://www.ik2007.de/

Abstract

Remote Tower Operation (RTO) describes the goal of remote control of small airports. In 2005 the DLR project RapTOr was initiated in order to realize a RTO experimental system as extension of the Advanced Surface Movement Guidance and Control System (A-SMGCS) at the Braunschweig research airport. The design and development of the experimental RTO HMI and the new Remote-Controller work position is supported by a cognitive work and task analysis the presently existing work environment and decision processes at airport Leipzig. The formalised results serve as input data of a Formal Airport Control Model (FAirControl) for the simulation of the controller decision making processes at the tower work positions. This poster presents a formal model 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 executable model supports the identification of controllers’ strategies in task organization and pursuance of goals. The formal model serves for an evaluation of different variants of work organization, a design of a new working position and monitoring of psychological parameters. The model is implemented with Coloured Petri Nets. The mathematical basis of Petri Nets allows a formal analysis of the whole system. Critical system states and inconsistencies in the human machine system are identified through comparison of the knowledge state of the controllers with process states of the airport system by using State Space analysis. The graphically represented formal work process model provides a valuable support for the communication between domain experts and system developers.

Item URL in elib:https://elib.dlr.de/46914/
Document Type:Conference or Workshop Item (Poster)
Title:FAirControl-A Formal Airport Control Model
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Werther, BerndUNSPECIFIEDUNSPECIFIED
Möhlenbrink, ChristophUNSPECIFIEDUNSPECIFIED
Date:March 2007
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Keywords:Coloured Petri Nets, Airport Control, Work Process Model
Event Title:Interdisciplinary College 2007- Embodied Minds
Event Location:Günne
Event Type:Other
Event Dates:2007-03-09-2007-03-16
HGF - Research field:Aeronautics, Space and Transport (old)
HGF - Program:Aeronautics
HGF - Program Themes:L SF - Safe and Efficient Air Traffic Guidance (old)
DLR - Research area:Aeronautics
DLR - Program:L SF - Safe and Efficient Air Traffic Guidance
DLR - Research theme (Project):L - Human Factors and Safety in Aeronautics (old)
Location: Braunschweig
Institutes and Institutions:Institute of Flight Control > Systemergonomy
Deposited By: Werther, Dr.-Ing. Bernd
Deposited On:17 Apr 2007
Last Modified:15 Jan 2010 00:13

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.