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

Formal Cognitive Resource Model: Modeling of human behavior in complex work environments

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] PDF - Registered users only
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:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Werther, BerndUNSPECIFIEDUNSPECIFIED
Schnieder, EckehardUNSPECIFIEDUNSPECIFIED
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 Dates:2005-11-28 - 2005-11-30
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 Control > Systemergonomy
Deposited By: Werther, Dr.-Ing. Bernd
Deposited On:30 Nov 2005
Last Modified:09 Feb 2017 19:16

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.