Cyber-Physical Systems Specification Mismatch and Safe Upgrades

Abstract

Air Force cyber-physical systems (CPS) such as manned and unmanned aerial systems (UAS) and satellite constellations are composed of legacy and novel systems over at times decades-long lifespans. In this research, novel methods are developed to ensure such CPS have assurance to meet their design and mission requirements and only these in spite of potential design defects and bugs, attacks, and failures. The outcomes of the project include theoretical and practical tools to safely integrate legacy and new systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 14, 2019
Accession Number
AD1085846

Entities

People

  • Christoph Csallner
  • Taylor T. Johnson

Organizations

  • University of Texas at Arlington

Tags

Communities of Interest

  • Autonomy
  • Cyber
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Computer Science
  • Computers
  • Control Systems
  • Cyber-Physical Systems
  • Electrical Engineering
  • Engineering
  • Linear Systems
  • Neural Networks
  • Satellite Constellations
  • Scientific Research
  • Software Development
  • Specifications
  • Unmanned Aerial Systems
  • Unmanned Systems
  • Vehicles

Readers

  • Software Engineering.
  • Systems Analysis and Design
  • Unmanned Aerial System (UAS) Autonomous Capabilities and Mission Reconnaissance.

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control
  • Cyber
  • Space