Files and links (1)
Published, Version of Record (VoR)Open Access (License Unspecified), Open
Journal article
Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking
IEEE transactions on systems, man, and cybernetics. Systems, v 43(6), pp 1314-1327
01 Nov 2013
Abstract
Human-automation interaction, including erroneous human behavior, is a factor in the failure of complex, safety-critical systems. This paper presents a method for automatically generating formal task analytic models encompassing both erroneous and normative human behavior from normative task models, where the misapplication of strategic knowledge is used to generate erroneous behavior. Resulting models can be automatically incorporated into larger formal system models so that safety properties can be formally verified with a model checker. This allows analysts to prove that a human-automation interactive system (as represented by the formal model) will or will not satisfy safety properties with both normative and generated erroneous human behavior. Benchmarks are reported that illustrate how this method scales. The method is then illustrated with a case study: the programming of a patient-controlled analgesia pump. In this example, a problem resulting from a generated erroneous human behavior is discovered. The method is further employed to evaluate the effectiveness of different solutions to the discovered problem. The results and future research directions are discussed.
Metrics
Details
- Title
- Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking
- Creators
- Matthew L. Bolton - University of Illinois at ChicagoEllen J. Bass - Drexel University College of Nursing and Health Professions
- Publication Details
- IEEE transactions on systems, man, and cybernetics. Systems, v 43(6), pp 1314-1327
- Publisher
- IEEE
- Number of pages
- 14
- Grant note
- T15LM009462 / National Library of Medicine; United States Department of Health & Human Services; National Institutes of Health (NIH) - USA; NIH National Library of Medicine (NLM) NCC1002043; NNA10DE79C / NASA; National Aeronautics & Space Administration (NASA)
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Information Science (Informatics)
- Web of Science ID
- WOS:000326499800005
- Scopus ID
- 2-s2.0-84898676620
- Other Identifier
- 991019168280704721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Collaboration types
- Domestic collaboration
- Web of Science research areas
- Automation & Control Systems
- Computer Science, Cybernetics