AADL is defined by a core language that defines a single notation for both system and software aspects. Having a single model ease the analysis tools by having only one single representation of the system. The language specifies system-specific characteristics using properties.