Formal Methods of Assurance for CPS

Abstract

Assurance Automation for Safe-Critical Cyber-Physical Systems: -- The DoD requires rapid fielding of critical capabilities to remain competitive with ongoing, urgent and emerging threats. -- The challenge is that traditional verification does not scale because of unpredictable algorithms such as machine learning and the need for timely interaction with the environment (i.e., correct actions at correct time).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 26, 2019
Accession Number
AD1069479

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy
  • Cyber

DTIC Thesaurus Topics

  • Algorithms
  • Copyrights
  • Cyber-Physical Systems
  • Department Of Defense
  • Emerging Threats
  • Engineering
  • Governments
  • Guarantees
  • Hypervisors
  • Machine Learning
  • Materials
  • Overload
  • Rejuvenation
  • Software Development
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Systems Analysis and Design

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy
  • Cyber