Large Scale Assurance Briefing to Army AvMC

Abstract

Assurance of new capability cannot be provided with the required speed. Inability to integrate the many intertwined types of analyses required for assurance; e.g., control, timing, security, logical correctness. Lack of awareness of assurance interdependence between subsystems; Extensive testing needed to discover interactions between multiple subsystems. Lack of effective reuse of assurance results.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 2023
Accession Number
AD1205812

Entities

People

  • Dionisio de Niz
  • Gabriel A. Moreno

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Actuators
  • Computers
  • Contracts
  • Copyrights
  • Cyber-Physical Systems
  • Department Of Defense
  • Devsecops
  • Digital Engineering
  • Engineering
  • Governments
  • Guarantees
  • Materials
  • National Governments
  • Software Development
  • Software Testing
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Joint Military Operations and Doctrine.
  • Software Engineering.