Accession Number : AD1039182


Title :   Verifiable Task Assignment and Scheduling Controller


Descriptive Note : Technical Report,01 Apr 2012,01 Dec 2016


Corporate Author : 711 Human Performance Wing Wright-Patterson AFB United States


Personal Author(s) : Rothwell,Clayton ; Patzek,Michael ; Humphrey,Laura


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/1039182.pdf


Report Date : 01 Jul 2017


Pagination or Media Count : 59


Abstract : Anticipated advances in the use and capability of unmanned systems will result in increased demands on mission planning and human-machine teaming. An approach to handle these demands is through a model checking tool for verification of unmanned aerial vehicle mission planning. This report describes the development and testing of one such tool, Specification Pattern Editor and Checker (SPEC), with an emphasis on providing the human operator a way to communicate their high-level mission goals and objectives to the model checking software without having to learn temporal logics. This initial verification tool was evaluated for usability and further refined into a second version. The tool was experimentally tested to investigate the effects of verification tools like model checkers for pre-mission route planning.


Descriptors :   HUMAN MACHINE INTERFACE , cognitive workload , unmanned aerial vehicles , supervisory control , military operations , rules of engagement , specifications , military standards , military training , accuracy , air force personnel , HUMAN ROBOT INTERACTION , missions , military planning


Subject Categories : Military Operations, Strategy and Tactics
      Human Factors Engineering & Man Machine System


Distribution Statement : APPROVED FOR PUBLIC RELEASE