Formal Arguments for Large-Scale Assurance (FALSA)

Abstract

DoD needs to deploy new capability with speed and confidence to adapt to changing missions and environments. However, assuring systems to deploy them with confidence is a bottleneck to achieving the desired speed. This work aims to speed up the assurance of evolving large-scale systems through reuse and sound integration of diverse assurance analyses and rapid detection of non-conformance between the system behavior and its assurance argument.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 2023
Accession Number
AD1214425

Entities

People

  • Gabriel A. Moreno

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Cyber-Physical Systems
  • Deep Learning
  • Department Of Defense
  • Differential Equations
  • Engineering
  • Environment
  • Equations
  • Guarantees
  • Learning
  • Machine Learning
  • Materials
  • Neural Networks
  • Safety
  • Safety Analysis
  • Simulations
  • Software Development

Fields of Study

  • Computer science

Readers

  • Aerospace Test and Evaluation
  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Maritime Combat Support and Expeditionary Logistics.