Validation of a Formal Method for Human Error Rate Prediction With Negative Transfer
- 25 August 2025
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Human-Machine Systems
- Vol. 55 (5) , 844-854
Abstract
Human error is often associated with system failures. The complexity of human-automation interaction can make it difficult to anticipate what errors can occur and how they contribute to failures. Previous research has shown that task analytic behavior modeling with the enhanced operator function model and the cognitive reliability analysis method (CREAM) can be combined with statistical model checking to make predictions about human error rates, their stochastic impact on system failures, and the effect of negative transfer of design changes on these predictions. These efforts were successful, but the validation studies used artificial examples with limited data. Predictions also slightly overestimated error rates. This article addresses these deficiencies by conducting a validation study based on the prescription order entry interface of the OpenEMR electronic medical record. As part of this, we explored how prediction accuracy for the OpenEMR application changed based on the inclusion/exclusion of planning errors: errors based on people’s ability to formulate task plans, which we hypothesized contributed to error rate overestimation. Results found that our method’s predictions aligned with those observed in the experiment, especially when planning errors were excluded. Negative transfer conditions did not manifest significant differences in error rates experimentally or in model predictions. These results suggest that negative transfer’s impact on human–computer interaction may be overstated in the literature. Finally, higher error rates were observed between the original OpenEMR prescription order entry interface compared to an alternative that we tested. We highly suggest that OpenEMR adopt the alternative.Keywords
Funding Information
- National Science Foundation (2219041, 1918314, 1918140)
This publication has 46 references indexed in Scilit:
- Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems2017
- The Handbook of Formal Methods in Human-Computer Interaction2017
- PRISM 4.0: Verification of Probabilistic Real-Time Systems2011
- Formally verifying human–automation interaction as part of a system model: limitations and tradeoffsInnovations in Systems and Software Engineering, 2010
- Error Patterns: Systematic Investigation of Deviations in Task Models2007
- Formal and experimental validation approaches in HCI systems design based on a shared event B modelInternational Journal on Software Tools for Technology Transfer, 2006
- Formally Justifying User-Centred Design Rules: A Case Study on Post-completion ErrorsLecture Notes in Computer Science, 2004
- Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties2001
- Robust reasoning: integrating rule-based and similarity-based reasoningArtificial Intelligence, 1995
- The phenotype of erroneous actionsInternational Journal of Man-Machine Studies, 1993