Architecture-led Incremental System Assurance (ALISA) Tutorial

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2018
Accession Number
AD1084078

Entities

People

  • Peter Feiler

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Energy and Power Technologies
  • Space

DTIC Thesaurus Topics

  • Aerospace Industry
  • Aircrafts
  • Artifacts
  • Authentication
  • Computational Science
  • Computer Programs
  • Control Systems
  • Engineering
  • Guarantees
  • Life Cycles
  • Models
  • Reliability
  • Safety
  • Safety Analysis
  • Software Design
  • Software Development
  • Verification