Formal Arguments for Large-Scale Assurance (FALSA) Kick-off

Abstract

JADC2 vision: Rapid deployment of new mission capability with confidence by composing capabilities across multiple domains from existing systems. Our focus: rapid assurance with confidence through: increased formality, maximal reuse of prior assurance results. Our approach: Incrementally coalesce and structure prior assurance results of existing systems into assurance architectures and compose those assurance architectures to assure new capabilities provided by systems of systems (SoS).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 06, 2023
Accession Number
AD1193676

Entities

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Contracts
  • Copyrights
  • Department Of Defense
  • Deployment
  • Engineering
  • Governments
  • Guarantees
  • Intellectual Property
  • Law
  • Learning
  • Materials
  • Materials Science
  • Rapid Deployment
  • Refining
  • Security
  • Software Development
  • Universities

Fields of Study

  • Computer science

Readers

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