Accession Number:

AD1088674

Title:

AADL Security Annex [Draft]

Descriptive Note:

Technical Report

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Personal Author(s):

Report Date:

2019-10-01

Pagination or Media Count:

51.0

Abstract:

This document describes the Architecture Analysis and Design Language Security Annex. The AADL Security Annex provides guidance and support for specifying, modeling, and analyzing a systems security characteristics within AADL architecture models. The approach presented in this document enables the engineering of secure cyber-physical systems using the AADL and supporting tool environments such as the Open Source AADL Tool Environment OSATE.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE