AADL is a modeling language that supports early and iterative analysis of key performance attributes of system architectures, such as data flow analysis, task mapping analysis, through extensible notation, tool frameworks, and precisely specified semantics. The language utilizes formal modeling concepts to describe and analyze the different components of an application system architecture and their interactions. Includes abstractions of software (eg, processes and threads), computing hardware (eg, processors, buses, devices, and memory), and system components. AADL is particularly effective for model-based analysis of complex real-time embedded systems.