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

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 system's 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 2006
Accession Number
ADA455842

Entities

People

  • David P. Gluch
  • John J. Hudak
  • Peter Feiler

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Application Software
  • Complex Systems
  • Computer Programming
  • Computer Programs
  • Control Systems
  • Data Transmission
  • Databases
  • Embedded Systems
  • Engineering
  • Global Positioning Systems
  • Language
  • Law
  • Linguistics
  • Notation
  • Operating Systems
  • Semantics
  • Xml

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.

Technology Areas

  • Space