AADL Security Annex [Draft]
CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States
Pagination or Media Count:
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.
- Computer Programming and Software