Assuring Cyber-Physical Systems - Scalable Formal Verification

Abstract

Contents include: ACPA Initiatives; Scalable Assurance; Rapid Certifiable trust; Analysis of Mission Progress Enforcing Unsafe behavior; Drone Experiment.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2022
Accession Number
AD1158787

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Contracts
  • Cyber-Physical Systems
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Materials
  • Software Development
  • Universities
  • Verification

Fields of Study

  • Computer science
  • Physics

Readers

  • Cybersecurity.
  • Military Science and Technology Research and Modernization.

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control
  • Cyber