Can I read Aviation Safety: Modeling and Analyzing Complex Interactions Between Humans and Automated Systems on EtoBox?

Aviation Safety: Modeling and Analyzing Complex Interactions Between Humans and Automated Systems by Neha Rungta; Guillaume Brat; William J. Clancey; Charlotte Linde; Franco Raimondi; Chin Seah; Michael Shafto is a scholarly article available to read on EtoBox.

What is Aviation Safety: Modeling and Analyzing Complex Interactions Between Humans and Automated Systems about?

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 be-tween 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 cur-rent 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 nondeterministic 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 multiagent framework) and we show that the traditional Brahms simulations can be integrated with automated

Author

Neha Rungta; Guillaume Brat; William J. Clancey; Charlotte Linde; Franco Raimondi; Chin Seah; Michael Shafto

Publisher

ACM

Published

2013

Language

EN