Title :
Modeling UASs for Role Fusion and Human Machine Interface Optimization
Author :
Gledhill, T.J. ; Mercer, Eric ; Goodrich, Michael A.
Author_Institution :
Comput. Sci. Dept., Brigham Young Univ., Provo, UT, USA
Abstract :
Currently, a single Unmanned Aerial System (UAS) requires several humans managing different aspects of the problem. Human roles often include vehicle operators, payload experts, and mission managers [1-3]. As a step toward reducing the number of humans required, it is desirable to reduce operator workload through effective distributed control, augmented autonomy, and intelligent user interfaces. Reliably doing this requires various roles in the system to be modeled. These roles naturally include the roles of the humans, but they also include roles delegated to autonomy and software decision-making algorithms, meaning the GUI and the unmanned aerial vehicle. This paper presents a conceptual model which models the roles of complex systems as a collection of actors, running in parallel. Results from applying this model to the UAS-enabled Wilderness Search and Rescue (WiSAR) domain indicate (a) it is possible to model the entire WiSAR system at varying degrees of abstraction (b) that building and evaluating the model provides insight into the best practices of WiSAR teams and (c) a way to model human machine interactions that works directly with the Java Pathfinder model checker to detect errors.
Keywords :
Java; aerospace computing; autonomous aerial vehicles; decision making; distributed control; error detection; graphical user interfaces; human-robot interaction; large-scale systems; program debugging; program verification; rescue robots; GUI; Java Pathfinder model checker; UAS modeling; UAS-enabled wilderness search and rescue domain; WiSAR domain; augmented autonomy; complex systems; distributed control; error detection; human machine interactions; human machine interface optimization; human roles; intelligent user interfaces; mission managers; operator workload reduction; payload experts; role fusion; single unmanned aerial system; software decision-making algorithms; unmanned aerial vehicle; vehicle operators; Atmospheric modeling; Context modeling; Graphical user interfaces; Integrated circuit modeling; Java; Model checking; Vehicles; Java PathFinder; Unmanned Aerial Systems; Wilderness Search and Rescue; human machine interfaces; model checking;
Conference_Titel :
Systems, Man, and Cybernetics (SMC), 2013 IEEE International Conference on
Conference_Location :
Manchester
DOI :
10.1109/SMC.2013.332