Assuring Cyber-Physical Systems Research Overview

Abstract

Late Discovery of Design Errors in DoD Systems is very costly. Architecture modeling and analysis can detect design error early BUT: Analysis assumptions are often implicit if analysis assumptions not met: analyses break down for reasons not clear to users of analysis tools. E.g., e2e Latency Assumption: periods multiple of each other (harmonic).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2023
Accession Number
AD1214444

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Actuators
  • Algorithms
  • Computations
  • Contracts
  • Control Theory
  • Copyrights
  • Cyber-Physical Systems
  • Department Of Defense
  • Digital Engineering
  • Engineering
  • Governments
  • Guarantees
  • Materials
  • Software Development
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Life Cycle Cost Analysis
  • Systems Analysis and Design

Technology Areas

  • Cyber