Runtime Assurance Framework Development for Highly Adaptive Flight Control Systems

Abstract

This report was developed under a SBIR contract.This report describes the technical progress made by Barron Associates, Inc. and its partners in runtime assurance (RTA) systems, which hold the promise of protecting advanced systems that cannot be fully certified at design time due to their inherent complexity. A number of technical hurdles remain in the implementation of RTA systems for highly complex safety-critical systems, and the main objective of this effort was to further address these issues. One main focus of this project was to investigate the necessary structure of RTA frameworks for multi-level interacting feedback systems. As such, a challenge problem was constructed for a fleet of unmanned aircraft systems (UASs) performing a surveillance mission. The demonstration platform consisted of RTA systems for the inner-loop control, outer-loop guidance, ownship flight management, and fleet mission planning elements. The framework design and certification requirements for such a system were explored in this program. For the inner-loop, the concept of employing multiple transition controllers in the reversionary control system was studied. For all feedback levels, the required RTA checks were developed and the critical reversionary switching conditions defined. The interactions between the RTA protected systems and certified collision avoidance systems were also investigated. A safety case argument for design-time certification of the RTA protected systems was constructed using subsystem requirements contracts that were developed from a compositional reasoning approach explored over the course of the project.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 2015
Accession Number
AD1010277

Entities

People

  • Jared K. Cooper
  • John D. Schierman
  • Kenneth R. Horneman
  • Michael D. Devore
  • Nathan D. Richards
  • Neha Gandhi
  • Scott Smolka
  • Scott Stoller

Organizations

  • Barron Associates (United States)

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Cyber
  • Ground and Sea Platforms
  • Human Systems
  • Sensors
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Aircraft Industry
  • Aircrafts
  • Airframes
  • Closed Loop Systems
  • Collision Avoidance
  • Collision Avoidance Systems
  • Computational Science
  • Control Systems
  • Failure Mode And Effect Analysis
  • Measurement
  • Safety
  • Sense And Avoid Systems
  • Two Dimensional
  • Unmanned Aerial Vehicles
  • Unmanned Systems
  • Unmanned Vehicles

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Engineering
  • Software Engineering.
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control