原文传递
Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems
| 题名： | Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems |
| 作者： | Rungta, N.; Brat, G.; Clancey, W. J.; Linde, C.; Raimondi, F.; Seah, C.; Shafto, M. |
| 关键词： | Air traffic control##Aircraft safety##Flight safety##Collision avoidance##Warning systems##Models##Human-computer interface##Software reliability##Program verification(Computers)##Pilot support systems##Aircraft approach spacing##Human factors engineering##Simulation## |
| 摘要： | 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. |
| 总页数： | 11 |
| 报告类型： | 科技报告 |
相关文献
- 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).
- Examining the Changing Roles and Responsibilities of Humans in Envisioned Future In-Time Aviation Safety Management Systems.
- Human-Robot Interaction Literature Review.
- Functional Determination of the Operator State in the Interaction of Humans with Automated Systems
- Ch. 12. A Theoretical Approach to Management of Limited Attentional Resources to Support the m:N Operation in Advanced Air Mobility Ecosystem.
检索历史
应用推荐
