Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Stereotype Content Model02:16

Stereotype Content Model

The Stereotype Content Model (SCM) was first proposed by Susan Fiske and her colleagues (Fiske, Cuddy, Glick & Xu, 2002; see also Fiske, 2012 and Fiske, 2017). The SCM specifies that when someone encounters a new group, they will stereotype them based on two metrics: warmth—or that group’s perceived intent, and how likely they are to provide help or inflict harm—and competence—or their ability to carry out that objective. Depending on the warmth-competence categorization, a person will feel...
Automatic Processing and Automatic Social Behavior01:28

Automatic Processing and Automatic Social Behavior

Automatic processing refers to the cognitive operations that occur without conscious intent or awareness, playing a fundamental role in shaping social cognition and behavior. These processes enable individuals to navigate complex social environments efficiently by relying on mental shortcuts and pre-existing knowledge structures known as schemas. One of the most influential mechanisms underlying automatic processing is priming, which subtly activates mental representations through exposure to...
Behavior Modification01:21

Behavior Modification

Behavioral approaches have often been criticized for ignoring mental processes and focusing solely on observable behavior. However, these approaches provide an optimistic perspective for individuals seeking to change their behaviors. Rather than concentrating on intrinsic personality traits, behavioral approaches suggest that even longstanding habits can be modified by changing the reward contingencies that maintain them.
A real-world application of operant conditioning principles is applied...
Types of Errors: Detection and Minimization01:12

Types of Errors: Detection and Minimization

Error is the deviation of the obtained result from the true, expected value or the estimated central value. Errors are expressed in absolute or relative terms.
Absolute error in a measurement is the numerical difference from the true or central value. Relative error is the ratio between absolute error and the true or central value, expressed as a percentage.
Errors can be classified by source, magnitude, and sign. There are three types of errors: systematic, random, and gross.
Systematic or...
Modeling in Therapy01:26

Modeling in Therapy

Modeling, a key technique in therapy, uses observational learning to help clients acquire and practice new skills by watching therapists demonstrate desired behaviors. This approach, rooted in Albert Bandura's concept of vicarious learning, plays a significant role in therapeutic interventions for various psychological conditions, including social anxiety, ADHD, and depression.
Participant Modeling
Participant modeling involves therapists demonstrating calm and effective behaviors in situations...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Integrating an intuitive tactical navigation solution to enable situational awareness for people with visual disabilities.

Applied ergonomics·2025
Same author

Ethical Issues in Implementation Science: A Qualitative Interview Study of Participating Clinicians.

AJOB empirical bioethics·2024
Same author

Fluorogenic RNA-based biomaterials for imaging and tracking the cargo of extracellular vesicles.

Journal of controlled release : official journal of the Controlled Release Society·2024
Same author

Implementing a Family-Centered Rounds Intervention Using Novel Mentor-Trios.

Pediatrics·2024
Same author

Perioperative Environment Safety Culture: A Scoping Review Addressing Safety Culture, Climate, Enacting Behaviors, and Enabling Factors.

Anesthesiology clinics·2023
Same author

Systematic Approach for Comparing Team-based Care Processes.

Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting. Human Factors and Ergonomics Society. Annual meeting·2023
Same journal

Towards Ecological Validity When Assessing ADHD Symptoms: Patterns in Automatically Collected, Real-World PC Activity Data.

International journal of human-computer studies·2026
Same journal

Towards the design of user-centric strategy recommendation systems for collaborative Human-AI tasks.

International journal of human-computer studies·2024
Same journal

Competitive gamification in crowdsourcing-based contextual-aware recommender systems.

International journal of human-computer studies·2023
Same journal

Automated Strategy Feedback Can Improve the Readability of Physicians' Electronic Communications to Simulated Patients.

International journal of human-computer studies·2023
Same journal

Virtual nature experiences and mindfulness practices while working from home during COVID-19: Effects on stress, focus, and creativity.

International journal of human-computer studies·2022
Same journal

<i>Unlock Me</i>: A Real-World Driven Smartphone Game to Stimulate COVID-19 Awareness.

International journal of human-computer studies·2022
See all related articles

Related Experiment Video

Updated: May 17, 2026

A Step-by-Step Implementation of DeepBehavior, Deep Learning Toolbox for Automated Behavior Analysis
05:41

A Step-by-Step Implementation of DeepBehavior, Deep Learning Toolbox for Automated Behavior Analysis

Published on: February 6, 2020

Generating Phenotypical Erroneous Human Behavior to Evaluate Human-automation Interaction Using Model Checking.

Matthew L Bolton1, Ellen J Bass, Radu I Siminiceanu

  • 1San José State University Research Foundation, NASA Ames Research Center, Moffett Field, CA, USA.

International Journal of Human-Computer Studies
|October 30, 2012
PubMed
Summary
This summary is machine-generated.

This study introduces a new method to automatically generate models of human errors in complex systems. This helps in formally verifying system safety, preventing failures caused by unexpected human-automation interactions.

More Related Videos

One Dimensional Turing-Like Handshake Test for Motor Intelligence
14:05

One Dimensional Turing-Like Handshake Test for Motor Intelligence

Published on: December 15, 2010

Automated High-throughput Behavioral Analyses in Zebrafish Larvae
09:28

Automated High-throughput Behavioral Analyses in Zebrafish Larvae

Published on: July 4, 2013

Related Experiment Videos

Last Updated: May 17, 2026

A Step-by-Step Implementation of DeepBehavior, Deep Learning Toolbox for Automated Behavior Analysis
05:41

A Step-by-Step Implementation of DeepBehavior, Deep Learning Toolbox for Automated Behavior Analysis

Published on: February 6, 2020

One Dimensional Turing-Like Handshake Test for Motor Intelligence
14:05

One Dimensional Turing-Like Handshake Test for Motor Intelligence

Published on: December 15, 2010

Automated High-throughput Behavioral Analyses in Zebrafish Larvae
09:28

Automated High-throughput Behavioral Analyses in Zebrafish Larvae

Published on: July 4, 2013

Area of Science:

  • Human-Computer Interaction
  • System Safety Engineering
  • Formal Methods

Background:

  • Complex system failures often arise from unforeseen interactions between system components and human operators.
  • Human-automation interaction, including both correct and incorrect actions, is a significant factor in system malfunctions.
  • Model-driven design and formal methods are crucial for analyzing human behavior's impact on system safety.

Purpose of the Study:

  • To present a novel method for automatically generating task analytic models that include both normative and erroneous human behavior.
  • To enable the formal verification of system safety properties by integrating generated erroneous behavior models into system models.
  • To demonstrate the method's capability in identifying potential safety issues and informing design interventions.

Main Methods:

  • Developed a method to automatically generate erroneous human behavior models from normative task models.
  • Incorporated Hollnagel's zero-order phenotypes (omissions, jumps, repetitions, intrusions) into generated erroneous actions.
  • Integrated task behavior models into formal system models for verification using model checkers.
  • Conducted benchmarks to assess the scalability of the erroneous behavior generation process.

Main Results:

  • Successfully generated erroneous human behavior models capable of replicating various error phenotypes, including sequential higher-order phenotypes.
  • Demonstrated the method's application through a radiation therapy machine case study, identifying a potential safety problem.
  • Presented a design intervention that effectively prevented the identified safety issue.
  • Provided benchmarks on state-space size and verification time, indicating the method's scalability.

Conclusions:

  • The developed method effectively models erroneous human behavior for formal system safety verification.
  • The approach can identify and help mitigate safety risks in human-automation interactive systems.
  • The method shows promise for evaluating larger, more complex applications in safety-critical domains.