Resilient Scalable Verification of Cyber-Physical Systems

Abstract

Resilient Scalable Verification of Cyber-Physical Systems: Scalable Verification. Larger Systems. Rapidly Evolving. Critical Kinetic Consequences. In presence of cyber-attacks New Technology: Multicore. Born for general-purpose computing. Critical: Need to ensure they work in the worst-case Preventing Costly Integration Errors with Early Analysis. Early Design Models and Analysis.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2022
Accession Number
AD1168420

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber
  • Engineered Resilient Systems
  • Sensors

DTIC Thesaurus Topics

  • Acquisition
  • Aircraft Industry
  • Aircrafts
  • Army Aviation
  • Commercial Aviation
  • Computer Access Control
  • Computer Programming
  • Cyber-Physical Systems
  • Cyberattacks
  • Detection
  • Economic Impact
  • Embedded Systems
  • Engineering
  • Guarantees
  • Infrared Signatures
  • Kernels (Operating System)
  • Materials
  • Reliability
  • Safety
  • Software Development
  • Software Testing
  • Target Acquisition
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Parallel and Distributed Computing.

Technology Areas

  • Cyber