Can Someone Prove Your Operator Won’t Get Distracted? A Gentle Introduction to Formal Methods in Human Factors
- 1 September 2025
- journal article
- Published by SAGE Publications in Proceedings of the Human Factors and Ergonomics Society Annual Meeting
- Vol. 69 (1) , 1887-1892
Abstract
Formal methods have proven helpful in modeling complex systems and ensuring they function correctly. This paper offers some basic guidelines for HFES practitioners in choosing whether to employ formal methods. It also touches on emerging approaches to modeling human behavior, attempting to answer two questions: (1) When are formal methods worth the effort? and (2) How do formal methods apply to humans? A table of questions is offered to facilitate a discussion of tradeoffs in choosing a formal methods approach. Distribution statement A. Approved for public release: distribution unlimited.Keywords
Funding Information
- Defense Advanced Research Projects Agency (HR0011-24-9-0439)
This publication has 27 references indexed in Scilit:
- Modelling Interactions: Digital and Physical2023
- Enhancing Trust in Machine Learning Systems by Formal Methods2023
- Correction to: Formal Methods for Software Engineering2022
- Origins and Development of Formal Methods2022
- The probabilistic model checker StormInternational Journal on Software Tools for Technology Transfer, 2021
- Formal Assurance for Cooperative Intelligent Autonomous Agents2018
- Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned HelicopterJournal of Aerospace Engineering, 2012
- PRISM 4.0: Verification of Probabilistic Real-Time Systems2011
- The paradoxes of almost totally safe transportation systemsSafety Science, 2001
- Formal Methods and their Role in the Certification of Critical Systems1997