The Architecture Analysis & Design Language (AADL): An Introduction

reportActive / Technical Report | Accession Number: ADA455842 | Open PDF

Abstract:

In November 2004, the Society of Automotive Engineers SAE released the aerospace standard AS5506, named the Architecture Analysis Design Language AADL. The AADL is a modeling language that supports early and repeated analyses of a systems architecture with respect to performance-critical properties through an extendable notation, a tool framework, and precisely defined semantics. The language employs formal modeling concepts for the description and analysis of application system architectures in terms of distinct components and their interactions. It includes abstractions of software, computational hardware, and system components for a specifying and analyzing real-time embedded and high dependability systems, complex systems of systems, and specialized performance capability systems and b mapping of software onto computational hardware elements. The AADL is especially effective for model-based analysis and specification of complex real-time embedded systems. This technical note is an introduction to the concepts, language structure, and application of the AADL.

Author(s):
Feiler, Peter H. ; Gluch, David P. ; Hudak, John J.
Author Organization(s):
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
Descriptive Note:
Final rept.
Supplementary Note:
The original document contains color images. DOI: 10.21236/ADA455842
Pagination:
0145

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited. This Document Is Not Available From Dtic In Microfiche.

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
CMU/SEI-2006-TN-011
Contract/Grant Number(s):
FA8721-05-C-0003
Monitor Series:
ESC/MA
 Subject Terms
Joint Capability Areas:
JCA_3_Force Application; JCA_3.1.1_Maneuver to Engage; JCA_3.1_Maneuver; JCA_5_Command and Control; JCA_6_Net Centric; JCA_6.1.3_Switching and Routing; JCA_6.1_Information Transport; JCA_5.3_Planning; JCA_5.6.1_Assess Compliance with Guidance; JCA_5.6_Monitor; JCA_6.4.1_Secure Information Exchange; JCA_1_Force Support; JCA_6.2.3_Core Enterprise Services; JCA_1.2_Force Preparation; JCA_6.4_Information Assurance; JCA_5.3.4_Develop Courses of Action; JCA_5.3.5_Analyze Courses of Action; JCA_1.3_Human Capital Management; JCA_1.3.2_Personnel Management; JCA_1.2.6_Concepts; JCA_6.2.1_Information Sharing
Communities of Interest:
Space
Descriptor(s):
*COMPUTER PROGRAMS, *SYSTEMS ENGINEERING, *PROGRAMMING LANGUAGES, STANDARDS, COMPUTER APPLICATIONS, ARCHITECTURE
Field(s)/Group(s):
Computer Programming and Software, Computer Systems
Keyword(s):
*SYSTEM ARCHITECTURE, *AADL(ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE), *MODELING LANGUAGE, MODELING, ARCHITECTURE DESIGN LANGUAGE, SOFTWARE COMPONENTS
Report Date:
2006 Feb 01
Creation Date:
2006 Nov 01