Formal analysis of pilot error with agent safety logic

Seth Ahrenbach; Alwyn Goodloe

首页> 外文期刊>Innovations in Systems and Software Engineering >Formal analysis of pilot error with agent safety logic

【24h】

Formal analysis of pilot error with agent safety logic

机译：试剂安全逻辑的试验误差正式分析

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

AbstractIn this paper, we show that modal logic is a valuable tool for the formal analysis of human errors in aviation safety. We develop a modal logic called agent safety logic (ASL), based on epistemic logic, doxastic logic, and a safety logic grounded in a flight safety manual. We identify a class of human error that has contributed to several aviation incidents involving a specific kind of pilot knowledge failure and formally analyze it. The use of ASL suggests how future avionics might increase aircraft safety.]]>

机译：<！[cdata [ <标题>抽象 ara id =“par1”>在本文中，我们显示模态逻辑是一个有价值的工具，进行航空安全人工错误的正式分析。我们根据认知逻辑，Doxastic Logic，Doxastic Logic和在飞行安全手册中接地的安全逻辑，开发称为代理安全逻辑（ASL）的模态逻辑。我们确定了一类人的错误，这些错误有助于若干涉及特定类型的飞行员知识失败并正式分析它的航空事件。 ASL的使用表明，未来的航空石可能会增加飞机安全性。 ]]>

著录项

来源
《Innovations in Systems and Software Engineering》 |2018年第1期|共12页
作者
Seth Ahrenbach; Alwyn Goodloe;
展开▼
作者单位

Department of Computer Science University of Missouri;

NASA Langley Research Center;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类程序语言、算法语言;
关键词
Modal logic; Formal methods; Aviation safety;

机译：模态逻辑;正式方法;航空安全;

相似文献

外文文献
中文文献
专利

1. Formal analysis of pilot error with agent safety logic [J] . Seth Ahrenbach, Alwyn Goodloe Innovations in Systems and Software Engineering . 2018,第1期

机译：试剂安全逻辑的试验误差正式分析
2. Predicting design induced pilot error using HET (human error template) - A new formal human error identification method for flight decks [J] . N. A. Stanton, D. Harris, P. M. Salmon, The Aeronautical Journal . 2006,第1104期

机译：使用HET（人为错误模板）预测设计引起的飞行员错误-一种新的驾驶舱正式人为错误识别方法
3. Efficacy, safety, and medication errors associated with the use of inhaled epoprostenol for adults with acute respiratory distress syndrome: A pilot study [Eficacia, seguridad y errores en medicación asociados con el uso de epoprostenol inhalados en adultos con síndrome de dificultad respiratoria aguda: Un estudio piloto] [J] . DunkleyK.A., LouzonP.R., LeeJ., The annals of pharmacotherapy . 2013,第6期

机译：成人急性呼吸窘迫综合征患者使用吸入依普西汀醇的功效，安全性和药物错误：一项试验研究[成人急性呼吸窘迫综合征患者使用吸入依普妥烯醇的功效，安全性和药物错误：A试验研究]
4. Evaluating coverage of error detection logic for soft errors using formal methods [C] . U. Krautz, M. Pflanz, C. Jacobi, 3rd international conference on theory and practice of electronic governance 2009 . 2009

机译：使用形式化方法评估软错误的错误检测逻辑的覆盖范围
5. Dynamic Agent Safety Logic: Theory and Applications [D] . Ahrenbach, Seth . 2019

机译：动态代理安全逻辑：理论与应用
6. Factors contributing to patient safety incidents in primary care: a descriptive analysis of patient safety incidents in a French study using CADYA (categorization of errors in primary care) [O] . M. Chaneliere, D. Koehler, T. Morlan, 1985

机译：导致初级保健患者安全事件的因素：使用CADYA的法国研究中对患者安全事件的描述性分析（初级保健错误的分类）
7. Predicting design induced pilot error using HET (human error template) - a new formal human error identification method for flight decks [O] . Stanton Neville A., Harris Don, Salmon Paul M., 2006

机译：使用HET（人为错误模板）预测设计引起的飞行员错误-一种新的驾驶舱正式人为错误识别方法

Formal analysis of pilot error with agent safety logic

摘要

著录项

相似文献

相关主题

期刊订阅