A formal method for including the probability of erroneous human task behavior in system analyses
A formal method for including the probability of erroneous human task behavior in system analyses
复制标题
将错误人类任务行为的概率纳入系统分析的正式方法
DOI：
10.1016/j.ress.2021.107764
复制
发表时间：
2021
影响因子：
8.1
通讯作者：
Kang, Eunsuk
中科院分区：
文献类型：
--
作者：
Bolton, Matthew L.;Zheng, Xi;Kang, Eunsuk
形式化方法已经进入人机交互工程（HAI），允许工程师使用数学证明来确定规范或意外的错误人类行为是否会导致问题。然而，这些方法是有限的，因为它们没有给工程师一种方法来评估不同结果的相对可能性。在这项工作中，我们通过定义一种新的方法，将正式的方法与人的可靠性分析和概率和统计模型检查相结合，解决了这一缺点。这种方法最终允许分析人员计算反应性HAI系统中发生不同结果的概率。我们描述了这种方法是如何实现的，评估其可扩展性，并展示其功能与自动柜员机的例子。我们最终讨论了我们的结果，并描述了未来的研究方向。
Formal methods have been making inroads into the engineering of human–automation interaction (HAI) by allowing engineers to use mathematical proofs to determine whether normative or unanticipated erroneous human behavior can ever cause problems. However, these approaches are limited because they do not give engineers a way to assess the relative likelihood of different outcomes. In this work, we address this shortcoming by defining a new approach that combines formal approaches with human reliability analysis and probabilistic and statistical model checking. This approach ultimately allows analysts to compute the probability of different outcomes occurring in reactive HAI systems. We describe how this method was realized, assess its scalability, and demonstrate its capabilities with an automated teller machine example. We ultimately discuss our results and describe directions of future research.