AADL Modeling and Analysis Tool for Cyber Resiliency - GE Verdict / DARPA Case: AADL/ACVIP User Days 2021

Abstract

Contents include: DARPA CASE Program; What is the VERDICT Tool?; Working example; Tool availability; Publications; Questions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 15, 2021
Accession Number
AD1147917

Entities

People

  • Abha Moitra
  • Cesare Tinelli
  • Daniel Larraz
  • Daniel Prince
  • Fareed Arif
  • Heber Herencia-zapana
  • John Interrante
  • Kit Siu
  • Michael Durling
  • Moosa Yahyazadeh
  • Omar Chowdhury
  • Paul Meng

Organizations

  • General Electric

Tags

Communities of Interest

  • Cyber
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Availability
  • Avionics
  • Computer Languages
  • Computer Security Techniques
  • Cyber Defense Techniques
  • Cyber Threats
  • Cybersecurity
  • Embedded Systems
  • Engineering
  • Feedback
  • Formal Languages
  • Identification
  • Language
  • Reliability
  • Safety
  • Safety Analysis
  • Security
  • Software Design
  • Software Development
  • Systems Engineering
  • Verification

Readers

  • Aerospace Engineering.
  • Political Science/ International Relations/ European Studies
  • Software Engineering.

Technology Areas

  • Cyber