Presentation
Can Someone Prove Your Operator Won’t Get Distracted? A Gentle Introduction to Formal Methods in Human Factors
SessionPoster Session 2
DescriptionThis paper adopts an analytical approach to aiding human factors professionals in judging the feasibility of applying formal methods for their HMSs to verify system performance and safety. To offer this guidance, this paper considers existing applications of formal verification in cognitive architectures, user interface design, human reliability analysis, and human-machine systems safety, highlighting how logical reasoning and mathematical proofs can be applied to model human behavior within constrained environments. This paper’s outcome offers human factors practitioners practical guidance in considering the trade-offs associated with formalizing human behavior.
Contributors
Event Type
Poster
TimeWednesday, October 15th5:30pm - 6:30pm CDT
LocationRiverside East