Symbolic Assurance Refinement

Abstract

DoD Digital Engineering Challenges: Model-Analyze-Build- 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)- DoD barrier for adoption.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 05, 2023
Accession Number
AD1204987

Entities

People

  • Dionisio de Niz
  • Lutz Wrage

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Actuators
  • Contracts
  • Copyrights
  • Cyber-Physical Systems
  • Department Of Defense
  • Digital Engineering
  • Engineering
  • Governments
  • Guarantees
  • Materials
  • National Governments
  • Patents
  • Resilience
  • Sampling
  • Software Development
  • United States Government
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Enterprise Information Systems Architecture and Joint Command Capability Interoperability Support.
  • Theoretical Analysis.