Verifiable Task Assignment and Scheduling Controller

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 2017
Accession Number
AD1039182

Entities

People

  • Clayton D. Rothwell
  • Laura Humphrey
  • Michael Patzek

Tags

Communities of Interest

  • Air Platforms
  • Autonomy

DTIC Thesaurus Topics

  • Accuracy
  • Air Force
  • Air Force Research Laboratories
  • Aircrafts
  • Cognitive Workload
  • Engineering
  • Ground Control Stations
  • Human-Machine Systems
  • Multiagent Systems
  • Psychology
  • Standards
  • Supervisory Control
  • Unmanned Aerial Systems
  • Unmanned Aerial Vehicles
  • Unmanned Systems
  • Vehicles
  • Workload

Fields of Study

  • Computer science

Readers

  • Aerospace Test and Evaluation
  • Cybersecurity.
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control
  • Autonomy - Human-Robot Interaction