原文传递
Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems.
| 题名： | Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems. |
| 作者： | Brat, G.; Clancey, W. J.; Linde, C.; Raimondi, F.; Rungta, N.; Seah, C.; Shafto, M. |
| 关键词： | Air Traffic Control; Aircraft Approach Spacing; Aircraft Safety; Collision Avoidance; Flight Safety; Human Factors Engineering; Human-computer Interface; Models; Pilot Support Systems; Program Verific |
| 摘要： | The on-going transformation from the current US Air Traffic System (ATS) to the Next Generation Air Traffic System (NextGen) will force the introduction of new automated systems and most likely will cause automation to migrate from ground to air. This will yield new function allocations between humans and automation and therefore change the roles and responsibilities in the ATS. Yet, safety in NextGen is required to be at least as good as in the current system. We therefore need techniques to evaluate the safety of the interactions between humans and automation. We think that current human factor studies and simulation-based techniques will fall short in front of the ATS complexity, and that we need to add more automated techniques to simulations, such as model checking, which offers exhaustive coverage of the non-deterministic behaviors in nominal and off-nominal scenarios. In this work, we present a verification approach based both on simulations and on model checking for evaluating the roles and responsibilities of humans and automation. Models are created using Brahms (a multi-agent framework) and we show that the traditional Brahms simulations can be integrated with automated exploration techniques based on model checking, thus offering a complete exploration of the behavioral space of the scenario. Our formal analysis supports the notion of beliefs and probabilities to reason about human behavior. We demonstrate the technique with the Ueberligen accident since it exemplifies authority problems when receiving conflicting advices from human and automated systems. |
| 报告类型： | 科技报告 |
相关文献
- Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems
- Human Interfaces and Management of Information (HIMI) Challenges for “In-time” Aviation Safety Management Systems (IASMS).
- Perceptions of Function Allocation between Humans and AI Enabled Systems.
- Ch. 12. A Theoretical Approach to Management of Limited Attentional Resources to Support the m:N Operation in Advanced Air Mobility Ecosystem.
- Bayesian Safety Risk Modeling of Human-Flightdeck Automation Interaction.
- Bayesian Safety Risk Modeling of Human-Flightdeck Automation Interaction
检索历史
应用推荐
