High-Assurance Spiral

Abstract

Cyber-physical systems (CPS) ranging from critical infrastructures such as power plants, to modern (semi) autonomous vehicles are systems that use software to control physical processes that interact in intricate manners. This makes verification of the software complex and unwieldy. In this report, an approach towards taming part of the complexity is described. The approach utilizes intrinsic multi-modal redundancies to detect brewing problems, provides formal guarantees for control algorithms, and automates the software production to implement these algorithmic ideas with guarantees about the correctness of the resulting implementations.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 2017
Accession Number
AD1041179

Entities

People

  • Franz Franchetti
  • Tze M. Low

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Biomedical
  • Cyber
  • Materials and Manufacturing Processes
  • Sensors

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Aircrafts
  • Algorithms
  • Collision Avoidance
  • Collision Avoidance Systems
  • Computer Programming
  • Computers
  • Control Systems
  • Cyber-Physical Systems
  • Detection
  • Detectors
  • Differential Equations
  • Global Positioning Systems
  • Measurement
  • Unmanned Ground Vehicles
  • Vehicles

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Distributed Systems and Data Platform Development

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control
  • Cyber