XiaoMi-AI文件搜索系统
World File Search SystemAvizienis
人机交互回路故障分类
摘要。操作员是指挥和控制系统中的主要漏洞来源之一；例如，79% 的航空致命事故归因于“人为错误”。根据 Avizienis 等人的故障分类系统，操作时的人为错误可以描述为操作员在与指挥和控制系统交互时未能提供服务。然而，之前很少有研究尝试将导致操作员处于错误模式的多种不同故障来源区分开来。本文提出了对 Avizienis 等人分类法的扩展，以便更全面地考虑人类操作员，明确导致操作员偏离正确服务交付的故障、错误状态和故障。我们的新分类法提高了对故障的理解和识别，并提供了关于可以避免或修复人为服务故障的方法的系统见解。我们提供了来自航空和其他领域的影响操作员和容错机制的故障的多个具体示例，涵盖了人机交互循环操作员侧的关键方面。
对 KNIGHT & LEVESON 的批评的回应...
Avizienis 使用的短语“低概率”和“不太可能”没有量化，因此他的猜想和假设是不可测试的。但是，统计独立性，即不相关的故障，定义明确，在有关该技术的许多讨论中都暗示了这一点，并且一些从业者也假设了这一点 [MAR83, YOU85]。为了测试统计独立性，我们设计并执行了一项实验，其中两所大学的研究生和高年级本科生根据相同的需求规范独立准备了 27 个版本的程序。学生自己测试了程序，但每个程序都要经过由 200 个典型输入组成的实验验收程序。通过在根据应用程序的实际操作配置文件生成的一百万个输入上执行程序来模拟程序的操作使用情况。通过统计假设检验，我们得出结论，故障独立性假设并不适用于我们的程序，因此，使用基于此假设的模型进行的可靠性改进预测可能过于乐观。这就是我们得出的全部结论（见下文）。
航空周刊与空间技术 - 2024 年 7 月 1 日至 14 日
Graham Warwick（技术） warwick@aviationweek.com 编辑 Lindsay Bjerregaard、Christine Boynton、Sean Broderick、Bill Carey、Chen Chuanren、Thierry Dubois、Brian Everstine、Matthew Fulco、Ben Goldstein、Jeremy Kariuki、Irene Klotz、Vivienne Machi、Helen Massy-Beresford、Molly McMillin、Jefferson Morris、Mark Nensel、Guy Norris、Tony Osborne、James Pozzi、Lori Ranson、Garrett Reim、Adrian Schofield、Steve Trimble 编辑和在线制作总监 Michael O. Lavitt 总编辑 Andrea Hollowell 艺术总监 Lisa Caputo 艺术家 Thomas De Pierro、Vicki Hopewell、Rosa Pineda、Colin Throm 高级内容制作人 Audra Avizienis 文字编辑 Jack Freifelder、Cory Hitt、Peri Meyers、Natalia Pelayo、Andy Savoie 制作编辑Andrea Copley-Smith、Theresa Petruso 播客编辑 Guy Ferneyhough 特约摄影师 Joseph Pries 内容营销运营 Wes Charnock、Elena Baxendale、Sundus Ghani、Leanne Jade Lawrence、Barbara Nichols