Maturing Assurance Contracts in Model-Based Engineering

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
Oct 31, 2022
Accession Number
AD1183608

Entities

People

  • Aaron Greenhouse
  • Björn Andersson
  • Dionisio de Niz
  • Gabriel A. Moreno
  • John J. Hudak
  • Joseph Siebel
  • Jérôme Hugues
  • Lutz Wrage
  • Ruben Martins
  • Sam Procter
  • Sholom Cohen

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Actuators
  • Contracts
  • Copyrights
  • Cyber-Physical Systems
  • Department Of Defense
  • Digital Engineering
  • Engineering
  • Engineers
  • Governments
  • Guarantees
  • Language
  • Materials
  • Patents
  • Software Development
  • Trademarks
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Software Engineering.