Transforming MBSE Models into Formally-Verifiable Language to Support Test and Evaluation as a Continuum

Abstract

Shift Testing Left with MBSE reduces test activities iff models used across whole system V. Today: gap between high-level and low-level models. Future: joint formal model/analysis capabilities across system lifecycle.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 13, 2023
Accession Number
AD1195558

Entities

People

  • Dio De Niz
  • Jérôme Hugues

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy
  • Cyber
  • Energy and Power Technologies
  • Engineered Resilient Systems
  • Space

DTIC Thesaurus Topics

  • Aerospace Industry
  • Aircrafts
  • Army Aviation
  • Department Of Defense
  • Embedded Systems
  • Engineering
  • Governments
  • Guarantees
  • Language
  • Materials
  • Procurement
  • Robotics
  • Software Development
  • Software Testing
  • Standards
  • Test And Evaluation
  • Unmanned Aerial Vehicles

Readers

  • Aerospace Test and Evaluation
  • Computational Linguistics
  • Enterprise Information Systems Architecture and Joint Command Capability Interoperability Support.