Tell a friend
Print
Werther, Bernd and Schnieder, Eckehard (2005) Formal Cognitive Resource Model: Modeling of human behavior in complex work environments. In: 2005 Wien International Conference on Computational Intelligence for Modelling Control and Automation. IEEE. CIMCA 2005, 2005-11-28 - 2005-11-30, Wien (Oesterreich). ISBN 0-7695-2504-0.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Only accessible within DLR
121kB |
Abstract
This paper presents a Formal Cognitive Resource (FCR) Model for the description of human behavior in complex work environments. As most important feature this model considers the motivated character of human work as related to the limitations of cognitive resources. The model is implemented with Colored Petri Nets. The formal description of Colored Petri Nets supports the simulation of the human-machine system in a completely consistent model structure. The mathematical basis of Petri Nets allows a formal analysis of common systems. In a validation example the reasons for a specific behavior of human operators in a working environment are being identified depending on cognitive parameters of the FCR-Model. It is shown how these parameters correspond to psychological performance properties.
| Item URL in elib: | https://elib.dlr.de/19388/ | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||
| Title: | Formal Cognitive Resource Model: Modeling of human behavior in complex work environments | ||||||||||||
| Authors: |
| ||||||||||||
| Date: | 2 November 2005 | ||||||||||||
| Journal or Publication Title: | 2005 Wien International Conference on Computational Intelligence for Modelling Control and Automation | ||||||||||||
| Refereed publication: | Yes | ||||||||||||
| Open Access: | No | ||||||||||||
| Gold Open Access: | No | ||||||||||||
| In SCOPUS: | No | ||||||||||||
| In ISI Web of Science: | Yes | ||||||||||||
| Publisher: | IEEE | ||||||||||||
| ISBN: | 0-7695-2504-0 | ||||||||||||
| Status: | Published | ||||||||||||
| Keywords: | Colored Petri Nets, Cognitive Modeling, formal verification, cognitive parameters, CAMS (Cabin Air Management System) | ||||||||||||
| Event Title: | CIMCA 2005 | ||||||||||||
| Event Location: | Wien (Oesterreich) | ||||||||||||
| Event Type: | international Conference | ||||||||||||
| Event Start Date: | 28 November 2005 | ||||||||||||
| Event End Date: | 30 November 2005 | ||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||
| HGF - Program: | Aeronautics | ||||||||||||
| HGF - Program Themes: | ATM and Operation (old) | ||||||||||||
| DLR - Research area: | Aeronautics | ||||||||||||
| DLR - Program: | L AO - Air Traffic Management and Operation | ||||||||||||
| DLR - Research theme (Project): | L - Human Factors and Safety in Aeronautics (old) | ||||||||||||
| Location: | Braunschweig | ||||||||||||
| Institutes and Institutions: | Institute of Flight Guidance > Systemergonomy | ||||||||||||
| Deposited By: | Werther, Dr.-Ing. Bernd | ||||||||||||
| Deposited On: | 30 Nov 2005 | ||||||||||||
| Last Modified: | 24 Apr 2024 19:00 |
Repository Staff Only: item control page
